Stream: Miscellaneous


view this post on Zulip Bas Spitters (Jul 25 2023 at 08:17):

The IETF has a usable formal methods group.
The last meeting had a presentation about Isabelle.
Before I spoke on our work on hacspec, libcrux and the our last yard paper.

The group might be interested to other practically minded Coq users too.

Last updated: Nov 29 2023 at 20:01 UTC