python API to coq-serapi
Primary LanguageJupyter NotebookMIT LicenseMIT
No issues in this repository yet.