Erik Martin-Dorel
@ErikMartinDorel@fosstodon.org
Joined: 01/07/2023
About Erik Martin-Dorel
Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Lists
ErikMartinDorel has no public lists
Timeline
ErikMartinDorel has no activity yet