news.volyx.in

F*: A general-purpose proof-oriented programming language (fstar-lang.org)

179 points by ducktective · 25 days ago · 90 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.