Hmm, somehow every project I've looked at today is built at or at least has connections to Inria... 🤓
@jryans what's Inria?
@neauoire It's a French research lab (https://www.inria.fr/en) that works on many things... I'm currently exploring various formal verification tools and languages, and they've worked on many pieces of that space in the last few decades.
@jryans oh nice! thanks, I'll look into it.
@neauoire Here are some of the projects themselves:
* CompCert - verified C compiler (https://compcert.org)
* OCaml - programming language (https://ocaml.org)
* Why3 - program verification framework (https://why3.lri.fr)
* Creusot - program verification for Rust (https://github.com/xldenis/creusot)
@jryans @neauoire That has indeed been a strong focus of French CS research for the last few decades. Another important project in this space is the Coq proof assistant (https://coq.inria.fr/).
@jryans That sounds like a fun day. UwU