Jupyter Kernel for ACL2
Project description
acl2-kernel
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. (https://jupyter.org/)
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". (http://www.cs.utexas.edu/users/moore/acl2/)
Usage
$ pip3 install jupyter acl2-kernel
$ python3 -m acl2_kernel.install
$ jupyter noteboook
A running example is available in the example/
directory.
Related Projects
License
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
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for acl2_kernel-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 70543fbe30ee37a11574b14806ed4ca6381719b290ef0719c1a93645a93753df |
|
MD5 | 2291ac970f19bedddc3c2c4e9cc5aee9 |
|
BLAKE2b-256 | ead48a4b34b7ccfe39fca9447c232c2d811fc18b200592bedcfde6d5eb23b3ec |