Tactician
From MaRDI portal
Software:29448
No author found.
Related Items (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 ⋮ Refactoring Proofs with Tactician ⋮ 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