Branches · jeanas / Proost · GitLab

Active branches

classical

d16503c8 · fixup: merge parts of contraposition and classical · Jan 05, 2023

Compare

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

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

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

Download source code

zip tar.gz tar.bz2 tar
76-refactor-toplevel-repl

e8c518af · fix(proost): simplify error type · Jan 05, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more active branches

Stale branches

1-dedicated-cargo-files

1c9b1944 · chore(cargo): Add cargo workspace · Sep 22, 2022

Compare

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

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

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

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

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches