| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-05 | Rename Dec and HexDec to Decimal and Hexadecimal | Pierre Roux |
| 2020-10-30 | Renaming Numeral.v into Number.v | Pierre Roux |
| 2020-05-09 | Add hexadecimal numerals | Pierre Roux |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2019-05-23 | Fixing typos - Part 3 | JPR |
| 2018-10-10 | [coqlib] Rebindable Coqlib namespace. | Emilio Jesus Gallego Arias |
| 2018-08-31 | Numeral Notation for nat | Pierre Letouzey |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2018-02-20 | Decimal: proofs that conversions from/to nat,N,Z are bijections | Pierre Letouzey |
| 2018-02-20 | Decimal: simple representation of base-10 numbers | Pierre Letouzey |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-10-01 | eta contractions | Pierre Boutillier |
| 2014-07-09 | Arith: full integration of the "Numbers" modular framework | Pierre Letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |