Name		Name	Last commit message	Last commit date
parent directory ..
example		example
kernel		kernel
Dockerfile		Dockerfile
README.md		README.md
jupyter_kernel.py		jupyter_kernel.py

README.md

ProofFrog Jupyter Kernel

Warning

This Jupyter kernel integration may be out of date and has not been tested with recent versions of ProofFrog.