coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-05	[numeral notation] Q	Pierre Roux
2020-09-11	Rename Numeral Notation command to Number Notation	Pierre Roux
2020-05-09	Decimal: prove numeral notation for Q	Pierre Roux
2020-05-01	Fixing #11903: Fixpoints not truly recursive in standard library.	Hugo Herbelin
2020-03-25	Nicer printing for decimal constants in Q	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-04-02	Add parsing of decimal constants (e.g., 1.02e+01)	Pierre Roux
2019-01-25	[Numeral notations] Use Coqlib registered constants	Vincent Laporte
2018-09-10	Adapting standard library to the introduction of "Declare Scope".	Hugo Herbelin
2018-08-31	Decimal: scope name changed dec_(u)int_scope	Pierre Letouzey
2018-08-31	Numeral Notation: allow parsing from/to Decimal.int or Decimal.uint	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