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

by ducktective | View on Hacker News