F fstar-lang.org F*: A proof oriented general purpose programming language 254 points akkad33 1 year ago 61 comments
