Formal-Methods

• Software Foundations Volume 2: Programming Language Foundation
• Software Foundations Volume 1: Logical Foundations
• Certified Programming with Dependent Types
• 2026/01/02 Hello, World!