The Tactician's repositories
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coq-tactician-api
An API for interfacing with Coq through Tactician by external agents
coq-tactician-stdlib
This package will recompile Coq's standard library with support for Tactician.
Language:Coq000
coq-tactician-dummy
A minimal dummy version of Tactician to depend on for public packages
coq-tactician.github.io
Tactician's website