| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-09-13 | Add entry for universe polymorphism critical bug | Gaëtan Gilbert |
| 2018-06-25 | Critical bugs: added #3243 and Gonthier's bug in lazy machine. | Hugo Herbelin |
| 2018-06-15 | Very first try at listing the critical bugs of the history of Coq. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |