| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-12-04 | Better primitive type support in custom string and numeral notations. | Fabian Kunze | |
| - float and array values are now supported for printing and parsing in custom notations (and in notations defined using the ocaml API) - the three constants bound to the primitive float, int and array type are now allowed anywhere inside a term to print, to handle them similar to `real` type constructors - Grants #13484: String notations for primitive arrays - Fixes #13517: String notation printing fails with primitive integers inside lists | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |