sorear / smetamath-rs
sorear's Metamath system engine - version 3 Rust
☆24Updated last year
Alternatives and similar repositories for smetamath-rs:
Users that are interested in smetamath-rs are comparing it to the libraries listed below
- Superposition prover☆17Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A type checker for the Lean theorem prover☆40Updated 4 years ago
- Rust bindings for the Lean 4 proof assistant☆21Updated 3 weeks ago
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- ☆13Updated 3 years ago
- Plain-text declaration export for Lean 4☆13Updated 4 months ago
- Matroids in Lean☆18Updated last year
- A date and time library for Lean 4☆11Updated 10 months ago
- sorear's Metamath system engine☆13Updated 8 years ago
- ☆22Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆68Updated last week
- Lean type-checker written in Scala.☆35Updated 3 years ago
- A WebAssembly implementation in Lean4☆33Updated last year
- Library implementing type inference/checking functionality based on the Lean theorem prover☆54Updated 8 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 3 weeks ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆34Updated this week
- A parser for ANSI C, in Lean4.☆20Updated last year
- Extra and extended datatypes for Lean 4☆11Updated 2 years ago
- ☆11Updated last year
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- Formalising the WASM spec in Lean☆19Updated 8 months ago
- Hanoi tower in Coq☆24Updated 2 months ago