F*: A general-purpose proof-oriented programming language

4 points | by ducktective an hour ago

No comments yet