issues
search
coq-tactician
/
coq-tactician-api
An API for interfacing with Coq through Tactician by external agents
https://coq-tactician.github.io/api/introduction
MIT License
2
stars
1
forks
source link
Cython optimizations
#22
Closed
LasseBlaauwbroek
closed
1 year ago