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