For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause
No issues in this repository yet.