Projects in Awesome Lists tagged with python-pa
A curated list of projects in awesome lists tagged with python-pa .
https://github.com/EugeneLoy/coq_jupyter
Jupyter kernel for Coq
coq dependent-types jupyter jupyter-extension jupyter-kernels jupyter-notebook kernel proof-assistant python-pa theorem-proving
Last synced: 27 Mar 2025
https://github.com/eugeneloy/coq_jupyter
Jupyter kernel for Coq
coq dependent-types jupyter jupyter-extension jupyter-kernels jupyter-notebook kernel proof-assistant python-pa theorem-proving
Last synced: 24 Oct 2025