Geeks
jyp
/
sctt
Type-Theory in Sequent Calculus
Primary Language
Haskell
sctt GitHub
Markdown
Readme
0
Issues
13
Stargazers
6
Watchers
Watchers
eemailme
jhcloos
jonsterling
University of Cambridge
jyp
University of Gothenburg
quewean
zjhmale