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

[ducktective]

Article URL: F*: A Proof-Oriented Programming Language

Comments URL: F*: A general-purpose proof-oriented programming language | Hacker News

Points: 113

# Comments: 37

Continue reading...