HomeAI Tutorial

acl2-jupyter

Public

A Docker image for running the ACL2 theorem proving system and books in JupyterLab.

Creat2025-08-05T16:47:05
Update2025-09-28T08:35:16
11
Stars
0
Stars Increase