login sign up

F*: A proof oriented general purpose programming language

news.ycombinator.com
saved by
0 people
related read on
F*: A Proof-Oriented Programming Language discussion