🎀

#coq #mathematics #inria #calculus of constructions #analytic geometry #mathematical #biology

🇫🇷🐪⚙️

#OCaml #caml #inria #programming language #systems programming

🇫🇷λ

#OCaml #french tech #inria #functional programming #lambda #european tech