Pages that link to "Item:Q2219409"
From MaRDI portal
The following pages link to The Tactician. A seamless, interactive tactic learner and prover for Coq (Q2219409):
Displaying 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
