F*: A general-purpose proof-oriented programming language(fstar-lang.org)171 points by ducktective 2 months ago | 78 comments
F* – A Proof-Oriented Programming Language(fstar-lang.org)210 points by montyanderson 2 years ago | 79 comments
F*: A proof oriented general purpose programming language(fstar-lang.org)242 points by akkad33 1 year ago | 59 comments