improve-0.0.11: An imperative, verifiable programming language for high assurance applications.

Language.ImProve.Verify

Synopsis

Documentation

verify :: FilePath -> Int -> Statement -> IO ()Source

Verify a program with k-induction.