F*: A general-purpose proof-oriented programming languageBy ducktective · 2026-08-02 · 5 points · 1 commentshttps://fstar-lang.org/By ducktective · 5 points · 1 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews