coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-05	Merge numeral and string notation plugins	Pierre Roux
2020-11-05	[numeral notation] Prove R	Pierre Roux
2020-11-05	[numeral notation] Specify R	Pierre Roux
2020-11-05	[numeral notation] R	Pierre Roux
2020-11-05	[numeral notation] Prove Q	Pierre Roux
2020-11-05	[numeral notation] Specify Q	Pierre Roux
2020-11-05	[numeral notation] Q	Pierre Roux
2020-11-05	[numeral notation] Remove proofs for Q	Pierre Roux
2020-11-04	[numeral notation] Adding the via ... using ... option	Pierre Roux
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-10-26	Merge PR #12768: Granting wish #12762: warning on duplicated catch-all patter...	coqbot-app[bot]
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-05	Adapting theories to unused pattern-matching variable warning.	Hugo Herbelin
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