Agent Skills: fstar-verification
Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified code extraction to OCaml, F#, C, WebAssembly, and Assembly
UncategorizedID: manutej/fstar-labs/fstar-verification
Install this agent skill to your local
Skill Files
Browse the full folder contents for fstar-verification.
Loading file tree…
Select a file to preview its contents.