Filip Sieczkowski (@fsieczkowski)
github

fsieczkowski

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    35
  • Global Rank 438,984 (Top 16 %)
  • Followers 33
  • Following 2
  • Registered almost 15 years ago
  • Most used languages
    Standard ML     50.0 %
    Coq     50.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 4,005
  • Country Ranking
    Coq     6
    Standard ML     8

Top repositories

1

System-T

Formalisation of Goedel's System T in Coq
Coq
15
star
2

smbt

SMackage Build Tool
Standard ML
8
star
3

Refocusing

A formalisation of the refocusing transformation by Danvy et al. in Coq
Coq
3
star
4

uri

URI parsing, printing and quoting for SML
Standard ML
2
star
5

esml

Experiments with ML-like languages
Standard ML
2
star
6

intuitionistic-logic

A Coq formalisation of soundness and completeness of intuitionistic propositional logic
Coq
1
star