an attempt at making a prototype proof checker for experimental purposes
Primary LanguageOCaml
No issues in this repository yet.