Skip to main content

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". (


We follow to the standard jupyter kernel installation. So, you will install the kernel by pip command, and will call the installation command like,

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

You also can see the deep usage by python3 -m acl2_kernel.install --help.


In some case, you might want to run the kernel in the Docker containers. This repository contains Dockerfile example. You can build example image by the following command.

$ docker build . -t acl2

To run the container, you would type the command like

$ docker run --rm -p 8888:8888 acl2 jupyter notebook --ip=''

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.

Source Distribution

acl2-kernel-0.2.5.tar.gz (5.7 kB view hashes)

Uploaded Source

Built Distribution

acl2_kernel-0.2.5-py3-none-any.whl (6.2 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page