F* Formal Verification and Proof-Oriented Programming

A comprehensive skill for building verified software using F* (F-star), a proof-oriented functional programming language with dependent types, refinement types, monadic effects, and SMT-backed automated verification.

When to Use This Skill

Use this skill when: