Tactician

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