lib:dove

Modules

• Language.Dove
• Language.Dove.ACL2
• Language.Dove.Optimize
• Language.Dove.Syntax

Dependencies

• acl2 lib:acl2 >=0.0.1 && <0.2
• base lib:base >=4.0 && <5.0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything