Dear all, We recently opened up a slack forum https://everestexpedition.slack.com/ that was previously used mainly by members of Project Everest. Many F* experts, including the F* developers, hang out there regularly---it's a good place to ask questions about F* as well as many projects that use it, including things like HACL*, EverCrypt, EverParse, Kremlin, Steel, etc.
You might be interested to sign up by going to https://aka.ms/JoinEverestSlack. Best wishes, Nik Sent from Outlook<http://aka.ms/weboutlook>
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club