A Proof-oriented Programming Language
F* is a proof-oriented programming language for writing software alongside formal specifications and machine-checked proofs. It is used for verified programming and theorem proving, with editor support for interactive development. The catalogue includes an agent that helps work with F* and Pulse.
Latest release v2026.08.30 — F* v2026.08.30 · 30 Aug 2026
These files are FStarLang/FStar's own configuration. They tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
.github/agents/FStarDev.md A 19 tok