Rankings
Badges
/
avigad
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jeremy Avigad
@avigad
Refresh
Open GitHub
Pittsburgh
Carnegie Mellon University
Profile age: about 13 years
Updated 6 days ago
219 followers • 0 following
Contacts
avigad@cmu.edu
http://www.andrew.cmu.edu/user/avigad
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 2
Persona
Influencer
#77,533
#813,204
#48,000
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
mathematics_in_lean_source
175
89
7
updated 3 months ago • age over 5 years
Lean
95.1%
Python
2.9%
TeX
1.3%
Dockerfile
0.5%
Batchfile
0.1%
lamr
109
29
updated 23 days ago • age about 4 years
Lean
84.5%
Edge
12.2%
JavaScript
2.4%
Dockerfile
0.9%
qpf
36
7
updated over 5 years ago • age almost 7 years
Lean
99.6%
Shell
0.4%
polya
34
6
updated about 7 years ago • age over 12 years
Python
100.0%
boole
30
3
updated over 11 years ago • age over 12 years
Python
99.1%
Emacs Lisp
0.9%
View all 18 repositories
Last Contributions
2024
theorem_proving_in_lean4
1 PR
+2
-2
Lean
219
110
2023
mathport
1 PR
+20
-19
Lean
44
15
1,000
2022
leanprover-community.github.io
1 PR
+21
-0
CSS
66
162
2021
mathlib4
2 PRs
+1,356
-57
Lean
2,514
873
blog
1 PR
+33
-0
Python
7
26
View all contributions
Latest Updates
12 Nov 2025
Followers Count:
216
219
29 Oct 2025
Followers Count:
217
216
15 Oct 2025
Followers Count:
214
217
17 Sep 2025
Followers Count:
211
214
03 Sep 2025
Followers Count:
207
211
04 Jan 2025
First seen
Subscribe to avigad's GitHub rank updates in your messenger
WhatsApp
Telegram
