1
Prove code correct with F*: a proof-oriented language for programmers and coding agents. Explore verified programs and get started with F* Proof Copilot.
- Popular posts
- 1
- Total points
- 159
- HN comments
- 104
- Rank
- #7,248 company
Visit fstar-lang.org → On Hacker News Jan 2021 – Jan 2021