• 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

    Goldilocks-prime

    A prime defined by defprime.

    The value of goldilocks-prime is 18446744069414584321.