swMATH7140MaRDI QIDQ19195FDOQ19195
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-39320-4_28
Cited In (16)
- 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
- Coq/SSReflect
- SEPIA
- SerAPI
- Recycling proof patterns in Coq: case studies
- JSNice
- Imandra
- PCM library
- Roosterize
- Proof-pattern recognition and lemma discovery in ACL2
- Hammer for Coq: automation for dependent type theory
- SEPIA: search for proofs using inferred automata
This page was built for software: ML4PG
