About Erik Martin-Dorel

Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.

Lists

Timeline

{username} has no activity yet