Also known as Fstar, F star, FStar
functional programming language inspired by ML and aimed at program verification
Official website
F*: A Proof-Oriented Programming Language
fstar-lang.org →Link to the official site · 25,395 chars · not written by Vinony