[micromega] Switch from Big_int to ZArith.#8743
Merged
fajb merged 6 commits intorocq-prover:masterfrom Sep 16, 2020
Merged
Commits
Commits on Sep 15, 2020
- committed
- andcommitted
- committed
- authored andcommitted
- committed
- committed
