Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
jeanas
Proost
Repository
Branches
Overview
Active
Stale
All
Active branches
classical
d16503c8
·
fixup: merge parts of contraposition and classical
·
Jan 05, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
51-add-namespace-end-3
adeb8744
·
fix: remove printing of rule in unreachable case
·
Jan 05, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
57-add-definitional-proof-irrelevance
50c7d725
·
feat(kernel): add `is_prop_term` and `is_prop_type`
·
Jan 05, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
76-refactor-toplevel-repl
e8c518af
·
fix(proost): simplify error type
·
Jan 05, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
Sep 22, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 29, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
7-informative-error-messages-for-pest-and-free-variables
merged
53bfa411
·
fix(ci): Fix docs publish + Improve dockerTools use
·
Sep 30, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-pest-parser
7cebda55
·
fix(parser): Fix minor issues (impl PartialEq for tests)
·
Oct 06, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
Oct 06, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar