Module arithmetic

Source

Modules§

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.