coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-02	Remove the omega tactic and related options	Jim Fehrle
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-10-20	[zify] Add support for Int63.int	Frédéric Besson
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-06-09	CReal: changed epsilon for modulus of convergence from 1/n to 2^z	Michael Soegtrop
2020-05-15	Move SSR's Search to a new plugin and deprecate it.	Théo Zimmermann
2020-04-24	Split off Nsatz tactic part into NsatzTactic	Jason Gross
2020-04-17	ZArith: move lia hints to a dedicated module	Vincent Laporte
2020-03-21	Add module ZifyPow to avoid compatibility issue with 8.11.	Théo Zimmermann
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2020-01-08	Factorize ascii extraction in ExtrOcamlChar.v	Maxime Dénès
2020-01-08	Rename ExtrOcamlStringPlus into ExtrOcamlNativeString	Xavier Leroy
2020-01-08	Hide ExtrOcamlStringPlus.v like the other extraction files	Xavier Leroy
2019-12-17	[micromega] fix efficiency regression	Frédéric Besson
2019-11-01	Merge PR #10022: [ssr] Generalize tactics under and over to any (Reflexive) r...	Enrico Tassi
2019-11-01	Add extraction for primitive floats	Erik Martin-Dorel
2019-11-01	[ssr] Refactor/Extend of under to support more relations	Erik Martin-Dorel
2019-10-21	Improvements of zify	Frédéric Besson
2019-09-16	Re-implementation of zify	Frédéric Besson
2019-08-08	[ssr] Refactor under's Setoid generalization to ease stdlib2 porting	Erik Martin-Dorel
2019-07-22	[Extraction] Add support for primitive integers	Vincent Laporte
2019-04-01	Several improvements and fixes of Lia	Frédéric Besson
2018-11-07	[doc] also scan plugins/ to build the lirbary index	Enrico Tassi
2012-02-01	Improved synchronisation of stdlib index page with current library state.	herbelin