/trebor

an implementation of Observational Type Theory (OTT) and more

Primary LanguageOCamlBSD Zero Clause License0BSD

Issues