Basic proof assistant based on Calculus of Constructions
Find a file
2025-09-12 10:03:44 -04:00
app better prettyprinting 2024-12-08 12:40:52 -08:00
examples minor formatting and README tweaks 2025-09-12 10:03:44 -04:00
lib minor formatting and README tweaks 2025-09-12 10:03:44 -04:00
.gitignore basics 2024-10-05 13:36:05 -07:00
CHANGELOG.md basics 2024-10-05 13:31:09 -07:00
LICENSE basics 2024-10-05 13:31:09 -07:00
perga.cabal minor formatting and README tweaks 2025-09-12 10:03:44 -04:00