> No, it isn't.
https://fstar-lang.org/ claims otherwise:
"F* (pronounced F star)".
Reply on news.ycombinator.com