Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
Holmakefile
README.md
ml_monadBaseLib.sig
ml_monadBaseLib.sml
ml_monadBaseScript.sml
readmePrefix

README.md

The state-and-exception monad that is used by the proof-producing translator for monadic HOL functions.

ml_monadBaseLib.sml: Proof automation for the state-and-exception monad that is supported by the proof-producing monadic translator.

ml_monadBaseScript.sml: Definitions for the state-and-exception monad that is supported by the proof-producing monadic translator.