Geeks
coq-contribs
/
pts
A formalisation of Pure Type Systems
Primary Language
Coq
pts GitHub
Markdown
Readme
0
Issues
10
Stargazers
2
Watchers
Watchers
herbelin
jhcloos