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
• dove lib:dove