Proof assistant based on the λΠ-calculus modulo rewriting
Primary LanguageOCaml
This repository is not active