Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rewriting the proof monad mechanism. Now it uses pure OCaml code, without | 2013-11-07 | |
* | Replaced monads.ml by an essentially equivalent proofview_gen.ml generated by... | 2013-11-02 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rewriting the proof monad mechanism. Now it uses pure OCaml code, without | 2013-11-07 | |
* | Replaced monads.ml by an essentially equivalent proofview_gen.ml generated by... | 2013-11-02 |