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