Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix declarations of monomorphic assumptions | 2014-05-06 | |
* | An experimental support for open constrs in hints and in "using" | 2010-10-31 | |
* | In the computation of missing arguments for apply, accept that the | 2010-09-17 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix declarations of monomorphic assumptions | 2014-05-06 | |
* | An experimental support for open constrs in hints and in "using" | 2010-10-31 | |
* | In the computation of missing arguments for apply, accept that the | 2010-09-17 |