Systems for doing provability logic in type theory
Primary LanguageAgda
No issues in this repository yet.