@ErikMartinDorel@fosstodon.org
Joined: 01/07/2023
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer.
Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git.
ErikMartinDorel has no public lists
ErikMartinDorel has no activity yet