Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • branch/default default
  • topic/default/Feature-for-Regular_Tree_Relations
  • Isabelle2011-1 protected
  • Isabelle2012 protected
  • Isabelle2013 protected
  • Isabelle2013-1 protected
  • Isabelle2013-2 protected
  • Isabelle2014 protected
  • Isabelle2015 protected
  • Isabelle2016 protected
  • Isabelle2016-1 protected
  • Isabelle2017 protected
  • Isabelle2018 protected
  • Isabelle2021-1 protected
  • Isabelle2022 protected
  • Isabelle2023 protected
  • Isabelle2024 protected
17 results
History

Commits to 5f5300a5f10ec239f4f680cbec3397de697c92d7

Excluding merge commits. Limited to 6,000 commits.
Number of commits010203040AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 2.23 · Max: 36

desharna

2503 commits ()

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 930m · Max: 36

paulson

817 commits (lp15@cam.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 304m · Max: 12

Rene Thiemann

631 commits (rene.thiemann@uibk.ac.at)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 235m · Max: 11

Fabian Huch

425 commits (huch@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 158m · Max: 15

Lars Hupel

183 commits (lars.hupel@mytum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 68m · Max: 9

Manuel Eberl

153 commits (eberlm@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 56.9m · Max: 15

Gerwin Klein

129 commits (kleing@unsw.edu.au)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 48m · Max: 8

Julian Brunner

98 commits (julianbrunner@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 36.4m · Max: 8

Asta Halkjær From

78 commits (andro.from@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 29m · Max: 14

Andreas Lochbihler

61 commits (mail@andreas-lochbihler.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 22.7m · Max: 6

Gerwin Klein

61 commits (gerwin.klein@data61.csiro.au)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 22.7m · Max: 8

Kevin Kappelmann

49 commits (kevin.kappelmann@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 18.2m · Max: 3

Alexander Maletzky

48 commits (alexander.maletzky@risc.jku.at)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 17.8m · Max: 5

Balazs Toth

43 commits (balazs.toth.isny@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 16m · Max: 8

Emin Karayel

42 commits (me@eminkarayel.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 15.6m · Max: 4

Eugene W. Stark

39 commits (stark@cs.stonybrook.edu)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 14.5m · Max: 4

Manuel Eberl

38 commits (manuel@pruvisto.org)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 14.1m · Max: 4

Simon Wimmer

36 commits (wimmers@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 13.4m · Max: 6

Gerwin Klein

34 commits (gerwin.klein@proofcraft.systems)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 12.6m · Max: 6

Walter Guttmann

34 commits (walter.guttmann@canterbury.ac.nz)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 12.6m · Max: 4

Achim D. Brucker

33 commits (adbrucker@0x5f.org)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 12.3m · Max: 7

Burkhart Wolff

30 commits (wolff@lri.fr)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 11.2m · Max: 5

Max W. Haslbeck

26 commits (max.haslbeck@gmx.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 9.67m · Max: 4

Anders Schlichtkrull

25 commits (andschl@dtu.dk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 9.29m · Max: 3

Akihisa Yamada

19 commits (akihisa.yamada@aist.go.jp)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 7.06m · Max: 4

Benedikt Seidl

18 commits (benedikt.seidl@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 6.69m · Max: 2

Susannah Mansky

17 commits (susannahej@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 6.32m · Max: 2

Christian Urban

16 commits (christian.urban@kcl.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 5.95m · Max: 3

user9716869

15 commits (user9716869@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 5.58m · Max: 3

Tjark Weber

15 commits (tjark.weber@it.uu.se)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 5.58m · Max: 6

Dominique Unruh

15 commits (unruh@ut.ee)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 5.58m · Max: 3

Alexander Bentkamp

14 commits (a.bentkamp@vu.nl)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 5.2m · Max: 3

Asta Halkjær From

13 commits (s144442@student.dtu.dk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.83m · Max: 2

Lukas Bulwahn

13 commits (lukas.bulwahn@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.83m · Max: 4

lammich

12 commits (lammich@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.46m · Max: 4

Wenda Li

12 commits (liwenda1990@hotmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.46m · Max: 2

Yosuke-Ito-345

11 commits (glacier345@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.09m · Max: 6

Simon Foster

11 commits (simon.foster@york.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.09m · Max: 3

Peter Gammie

11 commits (peteg42@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 4.09m · Max: 3

Balazs Toth

10 commits (balazs.toth@quickbirdstudios.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.72m · Max: 5

Sophie Tourret

10 commits (stourret@mpi-inf.mpg.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.72m · Max: 2

Dominique Unruh

9 commits (hg.yse9he@rwth.unruh.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 5

Norbert Schirmer

9 commits (nschirmer@apple.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 6

Michikazu Hirata

9 commits (hirata.m.ac@m.titech.ac.jp)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 2

Thibault Dardinier

9 commits (thibault.dardinier@inf.ethz.ch)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 3

yonoteam

9 commits (jonjulian23@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 4

Christian Sternagel

9 commits (c.sternagel@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 3.35m · Max: 3

Lars Hupel

7 commits (lars@hupel.info)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 2.6m · Max: 3

Anders Schlichtkrull

7 commits (andsch@cs.aau.dk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 2.6m · Max: 2

Ata Keskin

5 commits (ata.keskin@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.86m · Max: 2

Wenda Li

5 commits (wl302@cam.ac.uk / liwenda1990@hotmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.86m · Max: 1

Joshua Schneider

5 commits (joshua.schneider@inf.ethz.ch)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.86m · Max: 2

nanjiang

4 commits (nanjiang@whu.edu.cn)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 2

n.muendler

4 commits (n.muendler@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 2

Thomas Bauereiss

4 commits (thomas@bauereiss.name)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 3

Akihisa Yamada

4 commits (akihisa.yamada@uibk.ac.at)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 3

Giuliano Losa

4 commits (giuliano@losa.fr)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 2

immler

4 commits (immler@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.49m · Max: 1

Christoph Benzmueller

3 commits (c.benzmueller@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 1

carolos

3 commits (carolos@live.nl)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 2

Štěpán Starosta

3 commits (stepan.starosta@fit.cvut.cz)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 2

Lukas Stevens

3 commits (mail@lukas-stevens.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 1

Max P. L. Haslbeck

3 commits (haslbena@in.tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 2

Julian Parsert

3 commits (julian.parsert@uibk.ac.at)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 1.12m · Max: 2

Shuhao Song

2 commits (znssong_meow@sina.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 743μ · Max: 1

davfuenmayor

2 commits (davfuenmayor@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 743μ · Max: 1

Mathias Fleury

2 commits (mathias.fleury@mpi-inf.mpg.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 743μ · Max: 1

Niels Mündler

2 commits (n.muendler@web.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 743μ · Max: 2

Pasquale Noce

2 commits (pasquale.noce@hidglobal.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 743μ · Max: 2

Jamie Wright

1 commit (pianojrw79@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Jamie Wright

1 commit (jwright8@sheffield.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Yutaka

1 commit (nagashima@cs.cas.cz)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Sarah Tilscher

1 commit (sarah.tilscher@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Yong Kiam Tan

1 commit (yongkiat@cs.cmu.edu)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

JeremyDubut

1 commit (dubutjeremy@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Maximilian Schaeffeler

1 commit (maximilian.schaeffeler@tum.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

stuebinm

1 commit (stuebinm@disroot.org)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Matthew Doty

1 commit (matt@w-d.org)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Richard Schmoetten

1 commit (richard.schmoetten@ed.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Joseph Thommes

1 commit (joseph-thommes@gmx.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Denis Nikiforov

1 commit (denis.nikif@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

sf786

1 commit (sf786@pc135.cs.york.ac.uk)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Denis Lohner

1 commit (denis.lohner@kit.edu)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Ralph Bottesch

1 commit (ralph.bottesch@uibk.ac.at)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

conrad-watt

1 commit (cnrdwtt@gmail.com)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1

Gerwin Klein

1 commit (gerwin@doclsf.de)

Commits010203036AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20182019202020212022202320242025
Commits
Avg: 372μ · Max: 1