/k-pycoq

python API to coq-serapi

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.