A formalized proof of a version of the initiality conjecture
Primary LanguageAgda
No issues in this repository yet.