a python library to communicate with coq through the xml-protocol
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.