Skip to content

Releases: coq-tactician/coq-tactician-api

Tactician's API v15 for Coq 8.11

23 Dec 05:45
@LasseBlaauwbroek LasseBlaauwbroek
v15.0-8.11
ea1c531
Compare
Choose a tag to compare
Tactician's API v15 for Coq 8.11 Latest
Latest 
v15.0-8.11

Prevent DDoS attacks by limiting the size of the graph
Assets 2

PyTactician v15.1

23 Oct 10:39
@LasseBlaauwbroek LasseBlaauwbroek
pytactician-v15.1
5a8ee68
Compare
Choose a tag to compare
PyTactician v15.1 
pytactician-v15.1

Fixes
Assets 2

PyTactician v15.0

23 Oct 05:02
@LasseBlaauwbroek LasseBlaauwbroek
pytactician-v15.0
45a847e
Compare
Choose a tag to compare
PyTactician v15.0 
pytactician-v15.0

Finish pytactician compile and release pipeline
Assets 2