A chef recipe for the proof assistant coq
Primary LanguageRubyMIT LicenseMIT
No issues in this repository yet.