An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
created at Jan. 6, 2015, 8:42 a.m.
25 +0
199 +0
29 +0
Jupyter Kernel for ACL2
created at June 17, 2020, 11:55 p.m.
5 +0
4 +0
1 +0