Skip to content

fix(runtime/mpz): finish LLP64 support - #35

Closed
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:llp64
Closed

fix(runtime/mpz): finish LLP64 support#35
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:llp64

fix(util/nat): `nat::get_small_value` return type

dadc5e3
Select commit
Loading
Failed to load commit list.

There are no checks for this commit