dove-0.0.0: The Dove verification language.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Dove

Documentation

module Language.Dove.ACL2

module Language.Dove.Optimize

module Language.Dove.Syntax