GitHub repository: pestun-ihes/pycoq
Description: python API to coq-serapi