aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/logic_monad.mli
Commit message (Expand)AuthorAge
* Split [Proofview] into a file where the basic operations on the state are def...Gravatar Arnaud Spiwack2014-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 19:48:01 +0000