yeahrmek/coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
Python
Stargazers
No one’s star this repository yet.
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
Python
No one’s star this repository yet.