acl2-kernel

Jupyter Kernel for ACL2

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install acl2-kernel

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.3.1 2021-12-06  
0.3.0 2021-12-06  
0.2.9 2021-12-06  
0.2.8 2021-08-26  
0.2.7 2021-08-25  
0.2.6 2021-05-16  
0.2.5 2021-05-14  
0.2.4 2021-05-13  
0.2.3 2021-05-12  
0.2.2 2020-06-23  
0.2.1 2020-06-23  
0.2.0 2020-06-23  
0.1.1 2020-06-23  
0.1.0 2020-06-23  

Issues with this package?

Page last updated 2025-06-27 20:06:41 UTC