Cited in
(17)- Portfolio theorem proving and prover runtime prediction for geometry
- Mining state-based models from proof corpora
- Deep Generation of Coq Lemma Names Using Elaborated Terms
- TacticToe: learning to prove with tactics
- Proof mining with dependent types
- CoqEAL
- Coq/SSReflect
- SEPIA
- SerAPI
- JSNice
- Imandra
- Recycling proof patterns in Coq: case studies
- PCM library
- Roosterize
- Hammer for Coq: automation for dependent type theory
- Proof-pattern recognition and lemma discovery in ACL2
- SEPIA: search for proofs using inferred automata
This page was built for software: ML4PG
