ML4PG
From MaRDI portal
Software:19195
No author found.
Related Items (9)
Proof mining with dependent types ⋮ Deep Generation of Coq Lemma Names Using Elaborated Terms ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ SEPIA: Search for Proofs Using Inferred Automata ⋮ Hammer for Coq: automation for dependent type theory ⋮ Recycling proof patterns in Coq: case studies ⋮ TacticToe: learning to prove with tactics ⋮ Mining State-Based Models from Proof Corpora ⋮ Proof-Pattern Recognition and Lemma Discovery in ACL2
This page was built for software: ML4PG
