F fstar-lang.org F*: A general-purpose proof-oriented programming language 189 points ducktective 3 months ago 99 comments
