Proost
A simple proof assistant written in Rust.
Select Git revision
- Branches 20
- 99-add-let-binder
- main default protected
- 108-opaque-traces
- 115-improve-ci-by-using-nix
- 106-logsem-seminar-talk
- 109-feat-tilleul-add-vscode-support
- 111-non-dependent-products-optimisation
- 81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definition
- 110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
- 107-parser-simplification
- 95-replace-succ-with-an-add-constructor-on-level
- 102-add-match-syntax
- 105-specialize-traces
- 66-implement-bidirectional-type-checking
- 104-implement-normalisation-by-evaluation
- 98-parsing-building-allow-left-arguments
- 91-add-examples-as-a-test-suite-for-the-pipeline
- 52-add-better-tab-behavior-for-proost-toplevel
- 103-normal-form-memoization
- 97-preparations-for-v0-3-0
- Tags 3
- v0.3.0
- v0.2.0
- 0.1.0
loutr
authored
95d42af2
| Name | Last commit | Last update |
|---|---|---|
| src | ||
| .gitattributes | ||
| .gitignore | ||
| Cargo.toml | ||
| LICENSE.md | ||
| README.md |