acl2-kernel

Jupyter Kernel for ACL2

GitHub

4 stars
5 watching
1 forks
Language: Jupyter Notebook
last commit: 30 days ago
acl2jupyterjupyter-kerneltheorem-prover