Releases: coq-tactician/coq-tactician-api
Releases · coq-tactician/coq-tactician-api
Tactician's API v15 for Coq 8.11
v15.0-8.11 Prevent DDoS attacks by limiting the size of the graph
PyTactician v15.1
pytactician-v15.1 Fixes
PyTactician v15.0
pytactician-v15.0 Finish pytactician compile and release pipeline