Tactician
From MaRDI portal
Software:29448
swMATH17591MaRDI QIDQ29448FDOQ29448
Author name not available (Why is that?)
Cited In (6)
- Online machine learning techniques for Coq: a comparison
- The Tactician. A seamless, interactive tactic learner and prover for Coq
- TacticToe: learning to prove with tactics
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
- Capturing Hiproofs in HOL Light
- Refactoring Proofs with Tactician
This page was built for software: Tactician
