Skip to main content
Join the official 2020 Python Developers SurveyStart the survey!

Jupyter Kernel for ACL2

Project description

acl2-kernel PyPI Binder

Jupyter Kernel for ACL2

What is Jupyter and ACL2?

Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. (

ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". (


$ pip3 install jupyter acl2-kernel
$ python3 -m acl2_kernel.install
$ jupyter noteboook

A running example is available in the example/ directory. You can try it on Binder.

Related Projects

  • Jupyter - Softwares for interactive computing
  • ACL2 - Theorem prover based on Common Lisp


This project is released under the BSD 3-clause license.

Copyright (c) 2020, TANIGUCHI Masaya All rights reserved.

We borrow code from the following projects.

  • Egison Kernel; Copyright (c) 2017, Satoshi Egi and contributors All rights reserved.
  • Bash Kernel; Copyright (c) 2015, Thomas Kluyver and contributors All rights reserved.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for acl2-kernel, version 0.2.2
Filename, size File type Python version Upload date Hashes
Filename, size acl2_kernel-0.2.2-py3-none-any.whl (5.4 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size acl2-kernel-0.2.2.tar.gz (4.8 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page