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
Wikidata facts
- Instance of
- source-to-source compiler
- Official website
- www.fstar-lang.org
Show 8 more facts
- operating system
- cross-platform
- influenced by
- Lean
- copyright license
- Apache Software License 2.0
- programming paradigm
- imperative programming
- source code repository URL
- github.com/FStarLang/FStar
- official blog URL
- fstarlang.github.io
- programmed in
- F#
- software version identifier
- 0.9.6.0
via Wikidata · CC0