improve-0.1.5: An imperative, verifiable programming language for high assurance applications.
Language.ImProve.Verify
Synopsis
verify :: FilePath -> Int -> Statement -> IO ()Source
Verify a program with k-induction.