ACL2
- from
- Common Lisp
- added
- 2026-10-10
- likes
- 0
similar
-
ABCL common-lisp.net
-
ACL2-kernel github.com
-
cl-all codeberg.org
-
CLUnit2 codeberg.org
-
cl-tar common-lisp.net
-
CLM ccrma.stanford.edu
Common Lisp › Theorem provers: “a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.”