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

128 points

by ducktective

8 hours ago

50 comments