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

• Posted 29 minutes ago by ducktective
• 2 points