sorear / smm
sorear's Metamath system engine
☆13Updated 8 years ago
Related projects: ⓘ
- Automatically exported from code.google.com/p/ghilbert☆48Updated 6 years ago
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Superposition prover☆15Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆15Updated 4 years ago
- A heuristic procedure for proving inequalities☆31Updated 6 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Reference type checker for the Lean theorem prover☆57Updated 7 years ago
- An encyclopedia of proofs☆56Updated 2 years ago
- Theorem proving in Lean☆47Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆23Updated 4 years ago
- Tool for compiling Lean to WASM☆12Updated 6 months ago
- Real number computation software☆120Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆14Updated last year
- A date and time library for Lean 4☆11Updated 5 months ago
- Lean 4 Metamath verifier☆16Updated last year
- HoTT in Lean 3☆75Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated this week
- Coq Enhancement Proposals☆43Updated last week
- ☆20Updated 2 years ago
- A parser for ANSI C, in Lean4.☆19Updated 10 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated last month
- ☆17Updated 7 months ago
- ☆19Updated last year
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- Rust bindings for the Lean 4 proof assistant☆17Updated 3 months ago
- ☆44Updated last year