FStarLang/FStar

A Proof-oriented Programming Language

10 best points · 1 comments · 1 Hacker News post · 3,137 GitHub stars · View on GitHub

Hacker News discussions

• F* – Microsoft's programming language with a superset of features over F# (10 points, 1 comments, by philonoist, 2022-07-07)