lambdanik

4 ms·

1. 1.▲
   by lambdanik 2y ago

   Not just marketing ... About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...
2. 2.▲
   by lambdanik 2y ago

   F* existed before Project Everest, but Everest did power a lot of its development. We have built verified systems and components in the TLS ecosystem, including parts of TLS, QUIC and related protocols, and continue to do so: https:/&
3. 3.▲
   by lambdanik 2y ago

   Have you seen https://github.com/FStarLang/fstar-vscode-assistant ? Copilot & F* works pretty nicely. We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar