Skip to content
GitLab
Explore
Sign in
jeanas
Proost
Repository
Branches
Overview
Active
Stale
All
57-add-definitional-proof-irrelevance
50c7d725
·
feat(kernel): add `is_prop_term` and `is_prop_type`
·
Jan 05, 2023
56-add-a-proost-fonctionality-typecheck-files-without-toplevel-when-files-are-given-as-arguments
94d17943
·
fix:restored old verbose behavior in process_file to accomodate the new commit
·
Jan 05, 2023
51-add-namespace-end-3
adeb8744
·
fix: remove printing of rule in unreachable case
·
Jan 05, 2023
classical
d16503c8
·
fixup: merge parts of contraposition and classical
·
Jan 05, 2023
Prev
1
2
3
4
Next