coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-16	Modify PArith/Pnat.v to compile with -mangle-names	Jasper Hugunin
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
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-02	Remove the deprecation for some 8.2-8.5 compatibility aliases.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
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-10-01	Simpl less (so that cbn will not simpl too much)	Pierre Boutillier
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2014-05-02	Pos.iter arguments in a better order for cbn.	Pierre Boutillier
2014-02-28	Pos.compare_cont takes the comparison as first argument	Pierre Boutillier
2012-12-21	nat_iter n f x -> nat_rect _ x (fun _ => f) n	pboutill
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-07-05	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey
2011-05-05	Modularisation of Znat, a few name changed elsewhere	letouzey
2011-05-05	Wf.iter_nat becomes Peano.nat_iter (with an implicit arg)	letouzey
2011-05-05	Modularization of Pnat	letouzey
2011-05-05	Modularization of BinPos + fixes in Stdlib	letouzey
2010-11-18	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey
2010-11-02	Add small utility lemmas about nat/P/Z/Q arithmetic.	letouzey
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey