Geeks
jqyu
/
dot-ott
Ott formalization of the DOT calculus
Primary Language
Coq
dot-ott GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
No issues in this repository yet.