dove-0.0.0: The Dove verification language.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Dove.ACL2

Description

Interface to ACL2.

Documentation

acl2 :: Expr -> Expr Source

check :: Expr -> IO Bool Source

check' :: Expr -> IO (Bool, String) Source