sorear / smm
sorear's Metamath system engine
☆13Updated 8 years ago
Alternatives and similar repositories for smm:
Users that are interested in smm are comparing it to the libraries listed below
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Superposition prover☆17Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Reference type checker for the Lean theorem prover☆61Updated 8 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Real number computation software☆123Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Plain-text declaration export for Lean 4☆14Updated 5 months ago
- Matroids in Lean☆18Updated last year
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆11Updated last year
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- ☆23Updated 2 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated 5 months ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Lean 4 Metamath verifier☆17Updated last year
- ☆17Updated last year
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆9Updated last year
- ☆13Updated 3 years ago
- A proof assistant.☆12Updated 9 years ago
- ☆31Updated last year
- A parser for ANSI C, in Lean4.☆20Updated last year
- ☆38Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 5 months ago