Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Proost Proost
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Infrastructure Registry
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • jeanas
  • ProostProost
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
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