Pinned Repositories
.github
benchmark-data
benchmark-system
coq-graph2tac-trained
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-dummy
A minimal dummy version of Tactician to depend on for public packages
coq-tactician-stdlib
This package will recompile Coq's standard library with support for Tactician.
coq-tactician.github.io
Tactician's website
platform
Multi platform setup for Coq, Coq libraries and tools
The Tactician's Repositories
coq-tactician/coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coq-tactician/benchmark-system
coq-tactician/coq-tactician-api
An API for interfacing with Coq through Tactician by external agents
coq-tactician/.github
coq-tactician/benchmark-data
coq-tactician/coq-graph2tac-trained
coq-tactician/coq-tactician-dummy
A minimal dummy version of Tactician to depend on for public packages
coq-tactician/coq-tactician-stdlib
This package will recompile Coq's standard library with support for Tactician.
coq-tactician/coq-tactician.github.io
Tactician's website
coq-tactician/platform
Multi platform setup for Coq, Coq libraries and tools