Also known as Fstar, F star, FStar
functional programming language inspired by ML and aimed at program verification
F*: A Proof-Oriented Programming Language
fstar-lang.org →Link to the official site · 25,395 chars · not written by Vinony
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).