IPDSnelting / velcom
Continuous benchmarking
☆14Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for velcom
- Tableau for basic modal logic in Lean 3☆13Updated last year
- ☆21Updated 2 years ago
- A parser for ANSI C, in Lean4.☆20Updated 11 months ago
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- ☆22Updated this week
- Formalising the WASM spec in Lean☆16Updated 4 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆17Updated this week
- ☆28Updated last year
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆33Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆38Updated 4 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 3 weeks ago
- ☆35Updated 3 years ago
- Type Checking in Lean 4☆24Updated 2 months ago
- ☆17Updated 8 months ago
- ☆22Updated 2 weeks ago
- A simple command-line bibtex query utility written in Lean 4☆11Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆18Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆68Updated 2 months ago
- A coq plugin to deal with commutative diagrams☆17Updated 4 months ago
- ☆18Updated last month
- ☆18Updated 2 months ago
- Leaff is a diff tool for Lean environments☆15Updated 2 months ago
- Write C shims from within Lean code.☆50Updated 2 weeks ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Updated 8 months ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- Datatypes as quotients of polynomial functors☆34Updated 4 years ago
- Book about using Lean with How To Prove It☆15Updated 2 months ago
- embedding MLIR in LEAN☆47Updated 4 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 months ago