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.4K
1
360
The theorem prover ACL2 running on Ubuntu
331
Clozure Common LISP running under Ubuntu
238