F fstar-lang.org F* – A Proof-Oriented Programming Language 236 points montyanderson 2 years ago 102 comments
