| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-06 | Fix #11934 equality on constrexpr ignores instances of explicit applications | Gaëtan Gilbert | |
| While we're at it also compare instances in glob_constr although I don't know if that changes any behaviour. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |