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
$ 安裝
git clone https://github.com/manutej/fstar-labs /tmp/fstar-labs && cp -r /tmp/fstar-labs/skill ~/.claude/skills/fstar-labs// tip: Run this command in your terminal to install the skill
