acl2-kernel

Jupyter Kernel for ACL2

Installation

sudo pip3 install acl2-kernel

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
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 2022-03-28 17:40:15 UTC