Wikipedia thumbnail metadata
Software
F*
functional programming language inspired by ML and aimed at program verification
Overview text may include a short Wikipedia extract. See sources.
Also known as F star · Fstar
Key facts
- Official website
- https://www.fstar-lang.org/ · Wikidata
Sources
- Wikidata — F*