A tool for sharing proofs with predicative systems
Primary LanguageOCaml
No issues in this repository yet.