Formal-Methods

• 2026-05-19 Formal Verification of WOTS+ post-quantum signatures
• 2026-04-07 Formal Verification of secp256k1 modular scalar multiplication
• 2026-04-04 AI and Formal Verification
• Software Foundations Volume 3: Verified Functional Algorithms
• Software Foundations Volume 2: Programming Language Foundation
• Software Foundations Volume 1: Logical Foundations
• Certified Programming with Dependent Types
• 2026-01-02 Hello, World!