The following pages link to Tactician (Q29448):
Displaying 6 items.
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- The Tactician. A seamless, interactive tactic learner and prover for Coq (Q2219409) (← links)
- Capturing Hiproofs in HOL Light (Q2843014) (← links)
- Refactoring Proofs with Tactician (Q4988643) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)