Skip to content

perf: avoid copying mpz wrappers - #14978

Closed
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/mpz-move
Closed

perf: avoid copying mpz wrappers#14978
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/mpz-move

Commits

Commits on Aug 31, 2026