coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-16	Modify Logic/EqdepFacts.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Between.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Mult.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Plus.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Le.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/PeanoNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NBits.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NLcm.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NGcd.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NDiv.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NPow.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NParity.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NMaxMin.v to compile with -mangle-names	Jasper Hugunin
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