Very basic operations are defined in Lean in a way that will be very slow when run in the IxVM. We need a way to turn those into native Aiur arithmetic operations.
Very basic operations are defined in Lean in a way that will be very slow when run in the IxVM.
We need a way to turn those into native Aiur arithmetic operations.