Hmm, somehow every project I've looked at today is built at or at least has connections to Inria... 🤓

· · Web · 2 · 0 · 6

@neauoire It's a French research lab ( 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.

@neauoire Here are some of the projects themselves:

* CompCert - verified C compiler (
* OCaml - programming language (
* Why3 - program verification framework (
* Creusot - program verification for Rust (

@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 (

Sign in to participate in the conversation

Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them.