Skip to content

[numeral] [plugins] Remove Coq's Bigint module in favor of ZArith. - #11742

Merged
coqbot-app[bot] merged 5 commits into
rocq-prover:masterfrom
ejgallego:zarith+core
Aug 28, 2020
Merged

[numeral] [plugins] Remove Coq's Bigint module in favor of ZArith.#11742
coqbot-app[bot] merged 5 commits into
rocq-prover:masterfrom
ejgallego:zarith+core

Commits

Commits on Aug 27, 2020