F*: A general-purpose proof-oriented programming language | Hacker News

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

128 points by ducktective 9 hours ago | 50 comments

Loading...