ml4tp / tcoq
Modification to Coq to record intermediate proof states encountered during a proof
☆7Updated 5 years ago
Alternatives and similar repositories for tcoq:
Users that are interested in tcoq are comparing it to the libraries listed below
- ☆13Updated 3 years ago
- ☆16Updated 4 years ago
- ☆10Updated 5 years ago
- ☆14Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- deep learning for math☆29Updated 5 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Formal grammars in Lean 3☆8Updated last year
- Formalizing convex polyhedra in Coq☆22Updated 8 months ago
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- A Coq library providing tactics to deal with hypothesis☆21Updated 2 months ago
- Algebraic Combinatorics in Coq☆38Updated last month
- A fornalisation of Grobner basis in ssreflect☆12Updated 2 months ago
- A proof of Abel-Ruffini theorem.☆28Updated this week
- Coq library for serialization to S-expressions☆18Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 10 months ago
- Bonn Lean course for winter 24/25☆23Updated 2 months ago
- ☆21Updated last year
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆33Updated last month
- Prime numbers for Coq☆37Updated last month
- A Probability Theory Library for the Coq Theorem Prover☆52Updated last year
- ☆30Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week
- collaboration on work in progress☆15Updated 14 years ago
- ☆19Updated 2 weeks ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆31Updated 2 weeks ago
- ☆12Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago