3 ms·
> > F* (pronounced F star) > No, it isn't. https://fstar-lang.org/ https://fstar-lang.org/ claims otherwise: "F* (pronounced F star)".
by aleph_minus_one 3mo ago
> > F* (pronounced F star)
> No, it isn't.
https://fstar-lang.org/ https://fstar-lang.org/ claims otherwise:
"F* (pronounced F star)".