Module vstd::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.
  • 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.