coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-05	Adapting theories to unused pattern-matching variable warning.	Hugo Herbelin
2020-05-04	add order properties about bool	Olivier Laurent
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-02-27	Update headers following #6543.	Théo Zimmermann
2016-01-13	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey
2015-03-06	MMapPositive: another implementation of MMaps	Pierre Letouzey
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2011-05-05	Modularization of BinInt, related fixes in the stdlib	letouzey
2011-05-05	Modularization of BinNat + fixes of stdlib	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-09	NPeano improved, subsumes NatOrderedType	letouzey
2010-02-09	NBinary improved, contains more, subsumes NOrderedType	letouzey
2010-02-09	ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType	letouzey
2010-01-07	Nicer names: DecidableType2* --> Equalities, OrderedType2 --> Orders*	letouzey