| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-23 | Fix levels of `<=?` and `<?` in the stdlib | Jason Gross | |
| They were defined at level 70, no associativity in all but three places, where they were instead declared at level 35. Fixes #11890 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |