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
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Algebraic Combinatorics in Coq☆38Updated last month
- Certified Machine Learning☆41Updated 4 years ago
- Formal grammars in Lean 3☆8Updated last year
- Experiments with some ways of automating reasoning in lean 4☆15Updated 10 months ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- ☆27Updated 3 years ago
- Bonn Lean course for winter 24/25☆23Updated 2 months ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- deep learning for math☆29Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆34Updated this week
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 3 years ago
- A Probability Theory Library for the Coq Theorem Prover☆52Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- ☆21Updated last year
- ☆19Updated 3 weeks ago
- ☆12Updated 2 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆31Updated 2 weeks ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago