←BackTtani/acl2-kernel0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsAcl2 KernelFeaturesTheorem Provers - Jupyter kernel for interacting with the ACL2 theorem prover.