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.