OCaml Meetup Mars 2023

Les exposés seront les suivants:

• Arthur Wendling, Deux moteurs de recherche pour l'ecosystème OCaml
• Xavier Denis, Creusot a prophetic verifier for Rust

Inscription