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

[zarith] Changelog

21dd85b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs