coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
2020-03-19	firstorder: default tactic is “auto with core”	Vincent Laporte
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-01	Add PairUsualDecidableTypeFull	Oliver Nash
2018-11-14	Deprecate hint declaration/removal with no specified database	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2016-04-27	Revert "Temporary hack to compensate missing comma while re-printing tactic"	Hugo Herbelin
2016-04-27	Temporary hack to compensate missing comma while re-printing tactic	Hugo Herbelin
2016-01-13	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey
2015-12-07	Fix some typos.	Guillaume Melquiond
2015-03-05	MMaps again : adding MMapList, an implementation by ordered list	Pierre Letouzey
2015-03-04	Introducing MMaps, a modernized FMaps.	Pierre Letouzey
2014-06-01	Making those proofs which depend on names generated for the arguments	Hugo Herbelin
2011-03-13	- Add modulo_delta_types flag for unification to allow full	msozeau
2010-12-06	Numbers and bitwise functions.	letouzey
2010-01-07	Nicer names: DecidableType2* --> Equalities, OrderedType2 --> Orders*	letouzey