gentoo.mahdi.cz
dev-python
:pytactician
Python Library for interfacing with Coq and Tactician
https://coq-tactician.github.io
pytactician-15.1
MIT
download
~amd64 ~x86
pypi