coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-21	Merge PR #13201: Report a useful error for dependent destruction	Pierre-Marie Pédrot
2020-10-21	Merge PR #12955: Reroot primitive arrays on access	coqbot-app[bot]
2020-10-20	[zify] Use flag for Z.to_euclidean_division_equations.	Frédéric Besson
2020-10-20	[zify] Add support for Int63.int	Frédéric Besson
2020-10-15	Consistent indentation + a few bullets in RIneq.v.	Hugo Herbelin
2020-10-15	Report a useful error for dependent destruction	Tej Chajed
2020-10-10	Splitting ssrbool's multi-printing notations into parsing and printing.	Hugo Herbelin
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-10-02	{new,setoid_}ring -> ring	Maxime Dénès
2020-09-29	Merge PR #13039: Lint stdlib with -mangle-names #3	coqbot-app[bot]
2020-09-17	Formally deprecate the double induction tactic.	Pierre-Marie Pédrot
2020-09-16	Modify setoid_ring/BinList.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Lists/List.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify setoid_ring/Ring_theory.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify NArith/Nnat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify PArith/Pnat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify NArith/BinNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify PArith/BinPos.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Wf_nat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/EqNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Factorial.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Compare_dec.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Peano_dec.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Logic/Eqdep_dec.v to compile with -v	Jasper Hugunin
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