NuclearPM on F*: A general-purpose proof-oriented programming language · Hackerly

Comment on F*: A general-purpose proof-oriented programming language parent

Use case. Not “user case”.