Skip to content

Tactician's API v15 for Coq 8.11

Latest
Latest
Compare
Choose a tag to compare
@LasseBlaauwbroek LasseBlaauwbroek released this 23 Dec 05:45
· 7 commits to coq8.11 since this release
v15.0-8.11
ea1c531 
v15.0-8.11

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