/proof-assistant

More like proof checker, but works.

Primary LanguageOCaml

No issues in this repository yet.