Module arithmetic
Source - div_mod
- This file contains proofs related to integer division (
/
) and
remainder aka mod (%
). These are part of the math standard library. - logarithm
- This file contains proofs related to integer logarithms. These are
part of the math standard library.
- mul
- This file contains proofs related to integer multiplication (
*
).
These are part of the math standard library. - overflow
- power
- This file contains proofs related to exponentiation. These are
part of the math standard library.
- power2
- This file contains proofs related to powers of 2. These are part
of the math standard library.