fsieczkowski/intuitionistic-logic fsieczkowski/intuitionistic-logic

  • Stars
    star
    1
  • Language Coq
  • Created 7 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fsieczkowski/intuitionistic-logic
github

fsieczkowski

Reviews

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

Repository Details

A Coq formalisation of soundness and completeness of intuitionistic propositional logic

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

esml

Experiments with ML-like languages
Standard ML
2
star