GitHub repository: HazardousPeach/coq_serapy
Primary language: Python
Created: 2021-02-24T19:57:31Z
Description: Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.