coq-mathcomp - Library of mathematical components formalized in Coq

Age	Commit message (Expand)	Author
2021-01-16	Drop support for Coq 8.10 and deprecate the `deprecate` notation	Kazuhiko Sakaguchi
2021-01-04	erroneous deprecation warning	Reynald Affeldt
2020-10-30	Use `exp` rather than `X` for exponents of polynomials	Kazuhiko Sakaguchi
2020-10-29	Add `dvdpNl` and rename `dvdpN` to `dvdpNr`	Kazuhiko Sakaguchi
2020-10-29	Switch from long suffixes to short suffixes	Kazuhiko Sakaguchi
2020-03-15	Extend comparison predicates for nat with minn and maxn	Kazuhiko Sakaguchi
2019-12-28	Refactoring and linting especially polydiv	Kazuhiko Sakaguchi
2019-11-22	New generalised induction idiom (#434)	Georges Gonthier
2019-10-30	Change the order of arguments in `ltngtP`	Kazuhiko Sakaguchi
2019-05-29	incorporate new suggestions by @CohenCyril	Anton Trunov
2019-05-29	Replace eqVneq with eqPsym	Anton Trunov
2019-04-26	Cleaning Require and Require Imports	Cyril Cohen
2018-12-11	Fix some new warnings emitted by Coq 8.10:	Anton Trunov
2018-07-12	Replace all the CoInductives with Variants	Kazuhiko Sakaguchi
2018-02-06	fixing things that @ggonthier and @ybertot spotted and some I spotted	Cyril Cohen
2018-02-06	running semi-automated linting on the whole library	Cyril Cohen
2016-11-07	update copyright banner	Assia Mahboubi
2015-07-28	update copyright banner	Enrico Tassi
2015-07-17	Updating files + reorganizing everything	Cyril Cohen
2015-04-09	Using the From X Require Y for v8.4	Cyril Cohen
2015-04-08	packaging for v8.5	Cyril Cohen
2015-03-09	Initial commit	Enrico Tassi