Bas Spitters (Jul 25 2023 at 08:17): Bas Spitters (Jul 25 2023 at 08:17):The IETF has a usable formal methods group.
https://wiki.ietf.org/en/group/ufm
The last meeting had a presentation about Isabelle.
https://datatracker.ietf.org/meeting/117/session/ufmrg
Before I spoke on our work on hacspec, libcrux and the our last yard paper.
https://datatracker.ietf.org/meeting/116/session/ufmrg
https://eprint.iacr.org/2023/185
The group might be interested to other practically minded Coq users too.
Last updated: Nov 29 2023 at 20:01 UTC