Hacker Neus
F*: A general-purpose proof-oriented programming language
(fstar-lang.org)
123 points
by ducktective
8 hours ago |
48 comments
