Contributor analytics
Commits to 258605b56b11b24477df44d0b75bca17380b5136
Excluding merge commits. Limited to 6,000 commits. Commits
Ralf Jung
127 commits (post@ralfj.de)
Commits
Jacques-Henri Jourdan
124 commits (jacques-henri.jourdan@normalesup.org)
Commits
Jacques-Henri Jourdan
46 commits (jjourdan@mpi-sws.org)
Commits
Robbert Krebbers
37 commits (mail@robbertkrebbers.nl)
Commits