swMATH17591MaRDI QIDQ29448FDOQ29448
Author name not available (Why is that?)
Official website: http://www.proof-technologies.com/tactician/
Cited In (10)
- Online machine learning techniques for Coq: a comparison
- Refactoring proofs with Tactician
- The Tactician. A seamless, interactive tactic learner and prover for Coq
- TacticToe: learning to prove with tactics
- HipCam
- Prooftree
- XIsabelle
- Jape
- Capturing hiproofs in HOL light
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
This page was built for software: Tactician
