All Categories → No Category → python-pa

Top 1 python-pa open source projects

Jupyter kernel for Coq

✭ 70

python javascript kernel jupyter coq jupyter-notebook theorem-proving jupyter-kernels jupyter-extension python-pa

1-1 of 1 python-pa projects