Pages that link to "Item:Q2870142"

The following pages link to Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142):

Displayed 8 items.

• A learning-based fact selector for Isabelle/HOL (Q331617) ‎ (← links)
• Recycling proof patterns in Coq: case studies (Q475385) ‎ (← links)
• Automating Event-B invariant proofs by rippling and proof patching (Q667526) ‎ (← links)
• Proof mining with dependent types (Q2364689) ‎ (← links)
• Equivalence checking of two functional programs using inductive theorem provers (Q2410575) ‎ (← links)
• Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) ‎ (← links)
• Mining State-Based Models from Proof Corpora (Q5495930) ‎ (← links)
• Machine Learning for Inductive Theorem Proving (Q6108816) ‎ (← links)