GitHub repository: nexus-xyz/acl2-experiment
Primary language: Common Lisp
Created: 2024-07-29T14:56:49Z
Description: ACL2 experiments on arithmetic circuits