lean4 committers

Lean 4 programming language and theorem prover

Last synced: 6 days ago

Total Commits: 39,543
Total Committers: 271
Total Bot Commits: 47
Total Bot Committers: 2
Avg Commits per committer: 145.915
Development Distribution Score (DDS): 0.403

Commits in the past year: 4,306
Committers in the past year: 101
Bot Commits in the past year: 19
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 42.634
Development Distribution Score (DDS) in the past year: 0.817

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/leanprover/lean4
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4

Name	Email	Commits
Leonardo de Moura	l**o@m**m	23624
Sebastian Ullrich	s**i@n**h	4853
Kim Morrison	s**n@g**m	1437
tydeu	t**u@h**t	1057
Gabriel Ebner	g**r@g**g	1013
Soonho Kong	s**k@c**u	826
Joachim Breitner	m**l@j**e	576
Mario Carneiro	d**a@g**m	439
Jeremy Avigad	a**d@c**u	419
Henrik Böving	h**x@g**m	405
Lean stage0 autoupdater		372
Kyle Miller	k**5@g**m	345
Cameron Zwarich	c**n@l**g	335
Wojciech Nawrocki	w**i@p**m	326
Floris van Doorn	f**v@a**u	266
Markus Himmel	m**s@l**g	242
Daniel Selsam	d**m@g**m	225
Marc Huisinga	m**i@p**m	195
Paul Reichert	6****t	158
Jakob von Raumer	j**a@w**e	145
Daniel Selsam	d**m@p**m	142
Sebastian Graf	s**7@g**m	133
David Thrane Christiansen	d**d@d**k	132
E.W.Ayers	e**s@o**m	118
Siddharth	s**d@g**m	100
Eric Wieser	w**c@g**m	76
Rob Lewis	r**s@g**m	71
Wojciech Różowski	w**h@l**g	67
Rob23oba	1****a	62
jrr6	7****6	53
Joscha	j**a@p**e	53
Tobias Grosser	t**s@g**s	50
Rob Lewis	r**1@a**u	48
larsk21	5****1	47
Daniel Fabian	d**n@i**h	46
Luisa Cicolini	4****i	46
Joe Hendrix	j**e@l**g	45
Johannes Hölzl	j**l@g**e	45
Nuno Lopes	n**s@m**m	38
Sofia Rodrigues	s**a@a**v	35
Joe Hendrix	j**x@g**m	32
dependabot[bot] 🤖	4****]	31
François G. Dorais	f**s@g**m	29
Robert J. Simmons	4****s	26
JovanGerb	5****b	24
Alex Keizer	a**x@k**v	23
Chris Lovett	c**t@m**m	23
Arthur Adjedj	a**j@g**m	21
Jannis Limperg	j**s@l**e	21
Lev Nachmanson	l**h@m**m	20
Haitao Zhang	z**g@g**m	20
Marcus Rossel	m**l@i**m	18
thorimur	6****r	18
euprunin	d**g@g**m	18
github-actions[bot] 🤖	4****]	16
Jared Roesch	r**c@g**m	16
Parth Shastri	3****o	14
Simon Hudon	s**n@g**m	12
Vlad Tsyrklevich	v**d@t**t	12
Adrien Champion	A****n	11
Bulhwi Cha	c**i@s**m	11
Ulrik Buchholtz	u**z@g**m	11
Johan Commelin	j**n@c**t	10
Favonia	f**a@g**m	9
Alok Singh	a**l@g**m	9
Jakob von Raumer	j**b@v**e	8
ammkrn	a**n@t**o	7
Anne Baanen	V****r	7
Patrick Massot	p**t@f**r	7
Théo Zimmermann	t**i@g**m	7
Violeta Hernández	v**p@g**m	7
Alex J Best	a**t@g**m	7
int-y1	j**7@h**m	7
Michael Rothgang	r**g@m**e	6
Yuri de Wit	y**t@g**m	6
Mariana Alanis	m**z@m**m	6
Jon Eugster	e**n@g**m	6
David Renshaw	d**w@g**m	6
Austin Letson	w**n@g**m	6
Bhavik Mehta	b**8@g**m	5
FR	z**g@f**m	5
Aaron Liu	a**8@o**m	5
pcpthm	p**m@g**m	5
diakopter	d**r@g**m	5
Kitamado	4****r	5
Denis Gorbachev	8****v	5
Scott Morrison	s**n@a**u	5
Matthew Robert Ballard	1****l	4
Rishikesh Vaishnav	r**v@g**m	4
Simon Cruanes	s**7@m**g	4
Syohei YOSHIDA	s**x@g**m	4
Tom Levy	t**3@g**m	4
TomasPuverle	T****e	4
seulbaek	s**k@g**m	4
Martin Dvořák	m**k@m**z	4
Leni Aniva	1****a	4
L	g**t@l**v	4
Johannes Tantow	4****2	4
Jeremy Tan Jie Rui	r**w@g**m	4
Floris van Doorn	f**n@g**m	4
Corey Richardson	c**y@o**t	4
zygi	n**n@f**m	4
Wrenna Robson	w**n@g**m	4
Markus Schmaus	m**h@g**m	3
Sean Leather	s**r@g**m	3
James Sully	s**3@g**m	3
Jacob Gross	j**8@p**u	3
Hongyu Ouyang	9****a	3
Christian Pehle	c**e@g**m	3
Andrés Goens	a**s@g**g	3
Harun Khan	5****9	3
George Rennie	g**e@g**m	3
Elias Aebi	e****h	3
Arthur Paulino	a**p@g**m	3
Anders Christiansen Sørby	a**s@s**z	3
Alexander Bentkamp	b**p@g**m	3
Leonardo de Moura	l**a@L**l	3
Simon Hudon	s**n@g**m	3
Nicolas Rouquette	n**e@j**v	2
Pietro Monticone	3****e	2
Shuhao Song	z**w@s**m	2
Alissa Tung	a**g@o**m	2
Andrii Kurdiumov	k**2@g**m	2
Max Wagner	m**x@t**e	2
Bolton Bailey	b**y@g**m	2
Clement Courbet	c**t@g**m	2
Copilot	1****t	2
Eric Paul	e**4@i**m	2
Geoffrey Irving	i**g@n**s	2
Hunter Monroe	g**m@h**m	2
Connor Baker	c**r@t**o	2
Jens Petersen	j**n@g**m	2
Chris Hughes	3****4	2
Buster Copley	r**y@g**m	2
James Gallicchio	J****o	2
Timo	t**b@g**m	2
damiano	a**i@g**m	2
bc²	o****u	2
Alex Meiburg	t**x@g**m	2
John Tristan	j**n@g**m	2
Jonathan Coates	g**t@s**c	2
Josh Levine	g**b@j**m	2
Junyan Xu	j**h@g**m	2
Leni Aniva	1****i	2
Lukas Gerlach	1****e	2
Mauricio Collares	m**o@c**g	2
Tom Ball	t****t	1
Tony Beta Lambda	t**a@g**m	1
Varun Gandhi	g**t@c**s	1
Vincent de Haan	v**n@g**m	1
Michał Dobranowski	m**i@g**m	1
William Blake	3****d	1
WojciechKarpiel	w**l@o**l	1
Xavier Noria	f**n@h**m	1
Xin Hao	h**t@g**m	1
Xubai Wang	s**f@x**g	1
Yann Herklotz	g**t@y**m	1
Yaël Dillies	y**s@g**m	1
asdasd1dsadsa	8**9@q**m	1
awson	k**b@m**u	1
crStiv	c**7@g**m	1
Reijo Jaakkola	5****a	1
Richard Musiol	m**l@r**e	1
Rob Dockins	r**s@g**m	1
joao guilherme	j**o@g**m	1
jsr-p	j**p@s**k	1
Robert Maxton	r**2@g**m	1
SADIK KUZU	s**u@h**m	1
Sean McLaughlin	s**l@g**m	1
Sebastian Reuße	s**b@w**t	1
Sebastien Gouezel	s**l@u**r	1
Severen Redwood	s**n@s**e	1
Sébastien Boisgérault	S**t@g**m	1
TAKANO Mitsuhiro	t**2@g**m	1
Tasiro	t**t@g**e	1
Thomas Köppe	t**e@g**m	1
Théophile Wallez	t**e@w**t	1
Violetta Sim	3****c	1
えび (ebi_chan)	s**r@o**m	1
zjhmale	z**e@g**m	1
vvs-	v****-	1
user202729	2****9	1
tonneaus	8****s	1
simon-dima	1****a	1
pandaman	k**o@i**p	1
nnarek	4****k	1
mcdoll	m**l@g**m	1
Andrew Ashworth	a**h@g**m	1
Andrew Kent	a**w@g**m	1
Armaël Guéneau	a**u@e**r	1
Bulhwi Cha	c**i@p**h	1
Joe Hendrix	j**x@s**m	1
Kai Ruemmler	k**r@g**t	1
Kaiyu Yang	k**y@c**u	1
Olivier Taïbi	g**b@o**t	1
Yuri de Wit	y**t@f**m	1
Бакиновский Максим	m**y@c**m	1
maxwell3025	4****5	1
matt rice	r**e@g**m	1
lu-bulhoes	1****s	1
locriacyber	7****r	1
kzvi	3****i	1
kuruczgy	5****y	1
Mitchell Lee	1****1	1
Connor Baker	C**1@G**m	1
jcreedcmu	j**d@g**m	1
hwatheod	h**d@c**u	1
gabriel-doriath-dohler	g**r@e**r	1
Juan Pablo Romero	j**o@g**m	1
Joshua Seaton	j**n@g**m	1
Josh Pollock	j**7@g**m	1
Jesse Wright	6****r	1
Jerry Wu	n**l@g**m	1
Jeremy Salwen	j**n@g**m	1
Jan Hrcek	2****k	1
James Oswald	j**1@g**m	1
Ikko Eltociear Ashimine	e**r@g**m	1
Hikaru Hasegawa	d**a@g**m	1
Hagb (Junyu Guo 郭俊余)	h**n@y**m	1
Giles Shaw	6****w	1
Gabriel Dahia	g****a	1
Gabe	6****5	1
Fynn Schmitt-Ulms	f**u@o**m	1
Formally Verified Waffle Maker	7****r	1
Filippo A. E. Nuccio	f**o@u**r	1
Evgenia Karunus	l**e@g**m	1
Evan Chen	e**n@e**c	1
Eric Rodriguez	3****g	1
Enrico Borba	e****b	1
Elias Theis	e**g@g**m	1
Elazar Gershuni	e**g@g**m	1
Dax Fohl	d**l@g**m	1
Daniel Weber	5****r	1
Kartik Singhal	k**l@g**m	1
Chris Henson	4****8	1
Chase Johnson	c**9@p**e	1
Benjamin Shi	a**f@o**m	1
AxelBoldt	a**t@y**m	1
Andrei Cheremskoy	a**y@g**m	1
ecyrbe	e**e@g**m	1
Reid Barton	r**n@g**m	1
Pim Otte	o**m@g**m	1
Phil de Joux	p**t@g**m	1
Peiran Wu	1****r	1
Paul Brinkmeier	p**r@g**m	1
Patrick Stevens	p**b@p**k	1
Parker Bjur	3****r	1
Osman Yasar	o**5@g**m	1
Mohamed Al-Fahim	3****m	1
Miyahara Kō	5****y	1
Michael Sammler	M****l	1
Michael Burge	m**e@p**m	1
Max Carr	m**@m**e	1
Matthias Hetzenberger	m**r@g**m	1
Matthew Toohey	c**t@m**m	1
Mateja Petrovic	m**6@g**m	1
Marcelo Lynch	m**h@g**m	1
Malvin Gattinger	m**n@w**e	1
Malhar A. Patel	1****t	1
MJ141592	9****2	1
Lorenz Leutgeb	l**z@m**e	1
Liu Yuxi	u**m@g**m	1
Li Xuanji	x**i@g**m	1
Lars - he/him	l**k@g**m	1
Kevin Buzzard	k**d@i**k	1
Kenny Lau	k**u@y**k	1
KaseQuark	7****k	1
Aaron Tomb	a**b@g**m	1
Justin King	j**g@w**m	1
Julien Michel	1****l	1
Alex	j**o@h**e	1

Excludes empty and merge commits.

Name	Email	Commits
Leonardo de Moura	l**a@a**m	786
Kim Morrison	4****m	599
Sebastian Ullrich	s**i@n**h	492
Cameron Zwarich	c**n@l**g	318
Lean stage0 autoupdater		263
Joachim Breitner	m**l@j**e	243
Henrik Böving	h**x@g**m	213
Mac Malone	t**u@h**t	171
Markus Himmel	m**s@l**g	164
Paul Reichert	6****t	148
Sebastian Graf	s**7@g**m	132
Kyle Miller	k**5@g**m	107
David Thrane Christiansen	d**d@d**k	85
Marc Huisinga	m**i@p**m	76
Wojciech Różowski	w**h@l**g	67
Rob23oba	1****a	61
jrr6	7****6	48
Eric Wieser	e**w@g**m	39
Sofia Rodrigues	s**a@a**v	29
Luisa Cicolini	4****i	26
Robert J. Simmons	4****s	26
Siddharth	s**d@g**m	22
dependabot[bot] 🤖	4****]	19
Garmelon	j**a@p**e	14
JovanGerb	5****b	10
Parth Shastri	3****o	10
Tobias Grosser	t**s@g**s	8
Anne Baanen	V****r	7
Alok Singh	a**l@g**m	5
François G. Dorais	f**s@g**m	5
Aaron Liu	a**8@o**m	5
euprunin	d**g@g**m	5
Johannes Tantow	4****2	4
Tom Levy	t**3@g**m	4
Michael Rothgang	r**g@m**e	4
thorimur	6****r	4
Wrenna Robson	w**n@g**m	4
Wojciech Nawrocki	w**i@p**m	3
Mario Carneiro	d**a@g**m	3
Johan Commelin	j**n@c**t	3
Jakob von Raumer	j**b@v**e	3
George Rennie	g**e@g**m	3
Alex Meiburg	t**x@g**m	2
Bhavik Mehta	b**8@g**m	2
Copilot	1****t	2
Eric Paul	e**4@i**m	2
Jason Yuen	j**7@h**m	2
Leni Aniva	1****a	2
Marcus Rossel	m**l@i**m	2
Nicolas Rouquette	n**e@j**v	2
Violeta Hernández	v**p@g**m	2
Théophile Wallez	t**e@w**t	1
Tasiro	t**t@g**e	1
Sébastien Boisgérault	S**t@g**m	1
Sebastien Gouezel	s**l@u**r	1
Sean McLaughlin	s**l@g**m	1
Robert Maxton	r**2@g**m	1
Pim Otte	o**m@g**m	1
Osman Yasar	o**5@g**m	1
Miyahara Kō	5****y	1
Michał Dobranowski	m**i@g**m	1
Michael Sammler	M****l	1
Max Carr	m**@m**e	1
Marcelo Lynch	m**h@g**m	1
Yaël Dillies	y**s@g**m	1
Yuri de Wit	y**t@g**m	1
Zhao Yuyang 赵雨扬	z**g@f**m	1
crStiv	c**7@g**m	1
ecyrbe	e**e@g**m	1
jcreedcmu	j**d@g**m	1
maxwell3025	4****5	1
nnarek	4****k	1
pandaman	k**o@i**p	1
simon-dima	1****a	1
tonneaus	8****s	1
Alex Keizer	a**x@k**v	1
Hagb (Junyu Guo 郭俊余)	h**n@y**m	1
Giles Shaw	6****w	1
Gabe	6****5	1
Filippo A. E. Nuccio	f**o@u**r	1
Evan Chen	e**n@e**c	1
Elazar Gershuni	e**g@g**m	1
Dax Fohl	d**l@g**m	1
Chris Henson	4****8	1
Chase Johnson	c**9@p**e	1
Benjamin Shi	a**f@o**m	1
AxelBoldt	a**t@y**m	1
Arthur Adjedj	a**j@g**m	1
Alexander Bentkamp	b**p@g**m	1
Hikaru Hasegawa	d**a@g**m	1
James Sully	s**3@g**m	1
Joe Hendrix	j**x@a**m	1
Jon Eugster	e**n@g**m	1
Junyan Xu	j**h@g**m	1
Justin King	j**g@w**m	1
Kenny Lau	k**u@y**k	1
Kitamado	4****r	1
Li Xuanji	x**i@g**m	1
MJ141592	9****2	1
Malhar A. Patel	1****t	1
user202729	2****9	1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / leanprover/lean4 committers