Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.
-
Télécom Paris
- Paris
-
09:40
(UTC +02:00) - https://www.theozimmermann.net/
- https://orcid.org/0000-0002-3580-8806
- @Zimm_i48@fediscience.org
Highlights
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.





