Search Docker Hub
Community User
Displaying 1 to 5 of 5 repositories
The theorem prover ACL2(r) running on Ubuntu
4y
10K+
A Jupyter notebook server that supports ACL2 notebooks
1.5K
1
379
The theorem prover ACL2 running on Ubuntu
361
Clozure Common LISP running under Ubuntu
254