ACL2-kernel

github.comtool

from

Common Lisp

added

2026-10-10

likes

0

similar

1. ▲
   ACL2 cs.utexas.edu

   site category #cl link ↗
2. ▲
   ABCLJ github.com

   tool category #cl link ↗
3. ▲
   cl-ana github.com

   tool category #cl link ↗
   
4. ▲
   cl-jwk github.com

   tool category #cl link ↗
   
5. ▲
   icl github.com

   tool category #cl link ↗
   
6. ▲
   icl github.com

   tool category #cl link ↗
   

Common Lisp › Theorem provers: “, a Jupyter Kernel for ACL2.”