| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-27 | Scheme Equality: support for working in a context of Parameters. | Hugo Herbelin | |
| It was working in very specific context of section variables. We make it work similarly in the same kind of specific context of Parameters. See test file SchemeEquality.v for the expected form. See discussion at PR #8509. | |||
| 2018-09-27 | Fixing a typo in a comment. | Hugo Herbelin | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |