Monadoc
Search
Home
acl2
0.0.0-0
lib:acl2
The latest version of acl2 is
0.0.1-0
.
lib:acl2
Modules
Language.ACL2
Dependencies
base
lib:base >=4.0 && <6.0
process
lib:process >=1.0 && <2.0
Reverse dependencies
Direct only. Not exhaustive.
acme-everything
lib:acme-everything