Project for the foundational and extensible proof checker
Primary LanguageCoq
No issues in this repository yet.