I'm a postdoctoral researcher at UMass Amherst. I did my PhD at UCSD, and my bachelors and masters at University of Washington
Pinned Loading
-
coq_serapy
coq_serapy PublicPython bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.