coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-16	Modify Numbers/Natural/Abstract/NSub.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NAddOrder.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NOrder.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NAdd.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NBase.v to compile with -mangle-names	Jasper Hugunin
2020-09-11	Rename Numeral Notation command to Number Notation	Pierre Roux
2020-09-09	Merge PR #12094: Extend app_inj_tail and other list lemmas	Hugo Herbelin
2020-09-09	Merge PR #12905: Lint stdlib with -mangle-names #2	coqbot-app[bot]
2020-09-07	Add iff variants for other list lemmas	Edward Wang
2020-09-07	Add iff variant for app_inj_tail	Edward Wang
2020-08-27	Merge PR #12913: Modify lia to work with -mangle-names	coqbot-app[bot]
2020-08-27	Merge PR #12898: [ssr] backport ssrbool from Math Comp 1.11	Enrico Tassi
2020-08-26	Modify lia to work with -mangle-names	Jasper Hugunin
2020-08-26	address comments and fixups	Reynald Affeldt
2020-08-25	Modify Numbers/NatInt/NZGcd.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZDiv.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZLog.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZSqrt.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZPow.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZParity.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZMulOrder.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZOrder.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZMul.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZAdd.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Numbers/NatInt/NZBase.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Structures/GenericMinMax.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Structures/OrdersFacts.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Structures/OrdersTac.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Structures/Orders.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Relations/Relations.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Relations/Operators_Properties.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Setoids/Setoid.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Classes/CMorphisms.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Classes/CRelationClasses.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Classes/Morphisms.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Classes/RelationClasses.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Bool/Bool.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Init/Tactics.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Init/Wf.v to compile with -mangle-names	Jasper Hugunin
2020-08-25	Modify Init/Peano.v to compile with -mangle-names.	Jasper Hugunin
2020-08-25	Require NsatzTactic: nsatz support for Z and Q	Jason Gross
2020-08-25	fix notation-incompatible-format warnings	Reynald Affeldt
2020-08-25	Merge PR #12801: Put cyclic numbers in sort Set instead of Type	Anton Trunov
2020-08-25	add contra lemmas introduced by MathComp's PR #499	Reynald Affeldt
2020-08-25	tentative backport of ssrbool from MathComp 1.11	Reynald Affeldt
2020-08-24	Put cyclic numbers in sort Set instead of Type	Vincent Semeria
2020-08-20	Modify Init/Specif.v to compile with -mangle-names	Jasper Hugunin
2020-08-20	Modify Init/Datatypes.v to compile with -mangle-names.	Jasper Hugunin
2020-08-20	Modify Init/Logic.v to compile with -mangle-names.	Jasper Hugunin
2020-08-13	Merge PR #12799: [stdlib] [List] Additional statements about List.repeat	Anton Trunov