fsieczkowski/esml fsieczkowski/esml

  • Stars
    star
    2
  • Language Standard ML
  • Created over 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fsieczkowski/esml
github

fsieczkowski

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experiments with ML-like languages

More 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

intuitionistic-logic

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