Tag: Formal-Verification

All the articles with the tag "Formal-Verification".

• Simultaneous Identities of the Golden Ratio and Euler's Identity

  29 Jul, 2026

  Formal verification in Lean 4 that the golden ratio φ satisfies twelve identities across five canonical structures, specialised to the 52 known Mersenne prime exponents.