Not just marketing ... About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-history https://fstar-lang.org/tutorial/book/intro.html#a-bi

Not just marketing ... About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-history https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...