Releases: coq-tactician/coq-tactician-dummy
Releases · coq-tactician/coq-tactician-dummy
Tactician Dummy 1.0~beta2+8.17
1.0-beta2-8.17 Merge branch 'coq8.11' into coq8.17
Tactician Dummy 1.0~beta2+8.11
1.0-beta2-8.11 search -> synth
Tactician Dummy 1.0~beta1
1.0-beta1 Another attempt at making sure the real tactician takes precedence