4 ms·
Can it extract [Z] to some bigint implementation based on gmp? That should still be safe but provide better performance than using Peano arithmetic.
by profquail 9y ago
Can it extract [Z] to some bigint implementation based on gmp? That should still be safe but provide better performance than using Peano arithmetic.