Pages that link to "Item:Q2870142"
From MaRDI portal
The following pages link to Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142):
Displaying 5 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)
