Educational Proof Assistant for Type Theory
Primary LanguageJava
No one’s watching this repository yet.