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

119 points

by ducktective

8 hours ago

47 comments