• Top
  • Documentation
  • Books
  • Recursion-and-induction
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Testing-utilities
  • Math
    • Arithmetic
      • Lispfloat
      • Arithmetic-1
      • Number-theory
        • Tonelli-shanks-modular-sqrt-algorithm
        • Defprime
        • Defprime-alias
        • Prime
        • Dm::primep
        • Has-square-root?
        • Prime-fix
        • Secp256k1-group-prime
        • Secp256k1-field-prime
        • Jubjub-subgroup-prime
        • Edwards-bls12-subgroup-prime
        • Bn-254-group-prime
        • Bls12-381-scalar-field-prime
        • Baby-jubjub-subgroup-prime
        • Goldilocks-prime
      • Proof-by-arith
      • Arith-equivs
      • Number-theory
      • Arithmetic-3
      • Arithmetic-2
      • Arithmetic-light
      • Arithmetic-5
    • Bit-vectors
    • Algebra

• Number-theory

Bn-254-group-prime

A prime defined by defprime.

The value of bn-254-group-prime is 21888242871839275222246405745257275088548364400416034343698204186575808495617.