GitHub repository: IBM/pycoq
Primary language: Python
Created: 2021-07-26T16:32:16Z
Description: python API to coq-serapi