coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-09	[compat] remove 8.10	Enrico Tassi
2020-11-09	Merge PR #13173: Lint stdlib with -mangle-names #4	coqbot-app[bot]
2020-11-06	Intro pattern extensions for dup, swap and apply	Cyril Cohen
2020-11-06	The "( X in t )" hack used in the syntax of ssr rewrite may be only parsing.	Hugo Herbelin
2020-11-04	[stdlib] Decidable instance for negation	Yishuai Li
2020-11-05	Rename Dec and HexDec to Decimal and Hexadecimal	Pierre Roux
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-11	Modify ZArith/Znumtheory.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zdiv.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zcomplements.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZifyInst.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZifyClasses.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Ztac.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZCoeff.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zpow_def.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Wf_Z.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zabs.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Znat.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/RingMicromega.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Tauto.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Refl.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/EnvRing.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify NArith/Ndigits.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Strings/String.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Strings/Ascii.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorEq.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorSpec.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorDef.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/Fin.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/OrderedRing.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Euclid.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Div2.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Even.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify setoid_ring/Ring.v to compile with -mangle-names	Jasper Hugunin