Geeks
fsieczkowski
/
System-T
Formalisation of Goedel's System T in Coq
Primary Language
Coq
System-T GitHub
Markdown
Readme
0
Issues
15
Stargazers
3
Watchers
Stargazers
dterei
New York, NY
fsieczkowski
Edinburgh, Scotland
alanpog
peterlefanulumsdaine
Stockholm, Sweden
andrewsw
sheganinans
Orange, CA
fabriceleal
Leiria, Portugal
ivanllopard
TheNomadicMonad
fferreira
London, UK
catalin-hritcu
Bochum, Germany
bixuanzju
Hong Kong
relrod
Germany
NeM-T
GwenTinho