Agda library for the course PCC116 - Logics in Computer Science
Primary LanguageAgda
No issues in this repository yet.