python-pa

There are 0 repository under python-pa topic.

EugeneLoy / coq_jupyter
Jupyter kernel for Coq
coq jupyter kernel jupyter-kernels jupyter-notebook jupyter-extension proof-assistant theorem-proving dependent-types python-pa
Language:Python 89