Systems for doing provability logic in type theory
Primary LanguageAgda
This repository is not active