Dr. Théo Zimmermann 🏳️🌈 Zimm_i48@fediscience.org
Empirical software engineering researcher. Assistant professor at Télécom Paris. I'm interested in #opensource, #opencollaboration, #openscience and creating a better #democracy. Maintainer of the Coq proof assistant and other open source software. He / Him. lgBtqia
Jonas Chevalier 🦙 :Twitter_Verified_Badge: @zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.