About Erik Martin-Dorel

Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer.
Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git.

Lists

Timeline

ErikMartinDorel has no activity yet