coq-mathcomp - Library of mathematical components formalized in Coq

Age	Commit message (Collapse)	Author
2018-03-20	Merge pull request #185 from jashug/deprecate-arguments-scope	Enrico
	Change deprecated Arguments Scope to Arguments
2018-03-06	Merge pull request #178 from thery/master	Assia Mahboubi
	generalize the default value of nth in nth_iota
2018-03-04	Change deprecated Arguments Scope to Arguments	Jasper Hugunin

2018-02-21	Change Implicit Arguments to Arguments in ssreflect	Jasper Hugunin

2018-02-16	generalize nth_iota	thery

2017-12-12	refactored proof and renamed to reshape_leq and removed spurious hypothesis	Cyril Cohen

2017-12-12	New lemma reshape_index_leq	Florent Hivert

2017-12-11	Missing lemmas in seq	Florent Hivert

2017-11-21	Merge pull request #115 from strub/uniqP	Cyril Cohen
	Reflection lemmas for `seq.uniq`
2017-10-30	Fix obsolete vernacular syntax for locality.	Maxime Dénès
	It was emitting a deprecation warning and will soon be removed from Coq.
2017-03-13	Reflection lemmas for `seq.uniq`	Pierre-Yves Strub

2017-02-07	remove documentation for subfilter.	Tanaka Akira
	subfilter was exist at ssreflect-1.1 and removed at ssreflect-1.2.
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-03-09	Initial commit	Enrico Tassi