coq - The formal proof system

Age	Commit message (Expand)	Author
2017-06-14	Remove support for Coq 8.4.	Guillaume Melquiond
2017-06-13	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey
2017-03-03	Adding explicitly a file to work in the context of propositional extensionality.	Hugo Herbelin
2017-03-03	Adding a file providing extensional choice (i.e. choice over setoids).	Hugo Herbelin
2017-03-03	Logic library: Adding a characterization of excluded-middle in term of	Hugo Herbelin
2016-07-06	Fix #4793: Coq 8.6 should accept -compat 8.6	Maxime Dénès
2016-06-03	Fix build of documentation (broken for four months).	Guillaume Melquiond
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-13	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey
2015-12-15	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-12-14	Moved proof_admitted to its own file, named "AdmitAxiom.v".	Maxime Dénès
2015-11-07	Adding an amazing property of Prop.	Hugo Herbelin
2015-10-02	Mark the Coq.Compat files for documentation. (Fix bug #4353)	Guillaume Melquiond
2015-04-02	Fix compilation of documentation broken by the addition of MMapAVL.	Guillaume Melquiond
2015-03-21	Index MMaps files, otherwise documentation cannot be built. (Fix for bug #4107)	Guillaume Melquiond
2014-12-09	doc/stdlib: fix the xhtml validity of the index-list template	Pierre Letouzey
2014-12-09	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin
2014-07-15	Added a (constructive) proof of Weak Konig's lemma for decidable trees.	Hugo Herbelin
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2014-06-26	Fix documentation.	Guillaume Melquiond
2014-05-06	- Fix index-list to show computational relations for rewriting files.	Matthieu Sozeau
2014-02-24	fixup complement Fin	Pierre Boutillier
2013-06-02	A constructive proof of Fan theorem where paths are represented by predicates.	herbelin
2012-07-20	Vector equalities first stuff	pboutill
2012-07-10	isolate instances about Permutation and PermutationA which may slow rewrite	letouzey
2012-07-05	Legacy Ring and Legacy Field migrated to contribs	letouzey
2012-06-12	make sure that documentation compilation works after adding files for	bertot
2012-04-13	MSetRBT : implementation of MSets via Red-Black trees	letouzey
2012-02-01	Improved synchronisation of stdlib index page with current library state.	herbelin
2012-01-31	index-list.html.template: add missing files	pboutill
2011-07-04	doc/stdlib: Update the list of ZArith files	letouzey
2011-05-06	update of the file list in doc/stdlib	letouzey
2011-03-05	Restore documentation of library String which was removed in 2007 (r10049)	herbelin
2011-02-10	Remove obsolete TheoryList	glondu
2010-12-06	Numbers and bitwise functions.	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
2010-11-05	Numbers: axiomatization, properties and implementations of gcd	letouzey
2010-11-02	Numbers : log2. Abstraction, properties and implementations.	letouzey
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey
2010-07-16	FSetPositive: sets of positive inspired by FMapPositive.	letouzey
2010-06-28	Update of documentation for the standard library (cf. #2332)	letouzey
2009-09-17	Remove useless MonoList.v	glondu
2009-01-19	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2008-12-29	Produce better html code with coqdoc and improve doc:	msozeau
2008-09-15	Update stdlib html template	glondu
2008-06-07	Fix library index template and associated script.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-03-19	some references to IntMap forgotten in last commit	letouzey
2008-02-08	updates concerning FSets	letouzey