| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-10-30 | Renaming Numeral.v into Number.v | Pierre Roux | |
| 2020-09-11 | Rename Numeral Notation command to Number Notation | Pierre Roux | |
| Keep Numeral Notation wit a deprecation warning. | |||
| 2019-04-06 | Fix numeral notations test in async mode. | Gaëtan Gilbert | |
| Async causes output reordering in one test. Since we don't care about the output of that test (it's just a [Fail]) we move it to success/. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |