Jeremy Avigad

@avigad

Open GitHub

Pittsburgh

Carnegie Mellon University

Profile age: almost 13 years

Updated about 10 hours ago

214 followers • 0 following

Contacts

avigad@cmu.edu

http://www.andrew.cmu.edu/user/avigad

Profile Overview

Global Rank

Elite 2

Persona

Influencer

#79,109

#802,817

#48,438

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

mathematics_in_lean_source

168

updated about 1 month ago • age over 5 years

Lean95.1%

Python2.9%

TeX1.3%

Dockerfile0.5%

Batchfile0.1%

lamr

105

updated 3 months ago • age about 4 years

Lean84.5%

Edge12.2%

JavaScript2.4%

Dockerfile0.9%

qpf

updated over 5 years ago • age over 6 years

Lean99.6%

Shell0.4%

polya

updated about 7 years ago • age about 12 years

Python100.0%

boole

updated over 11 years ago • age over 12 years

Python99.1%

Emacs Lisp0.9%

View all 18 repositories

Last Contributions

2024
theorem_proving_in_lean4
1 PR +2-2
Lean
206
103
2023
mathport
1 PR +20-19
Lean
44
15
1,000
2022
leanprover-community.github.io
1 PR +21-0
CSS
64
158
2021
mathlib4
2 PRs +1,356-57
Lean
2,379
802
blog
1 PR +33-0
Python
7
26

View all contributions

Latest Updates

17 Sep 2025
Followers Count:211 214
03 Sep 2025
Followers Count:207 211
06 Aug 2025
Followers Count:204 207
22 Jul 2025
Followers Count:203 204
08 Jul 2025
Followers Count:199 203
04 Jan 2025
First seen

Subscribe to avigad's GitHub rank updates in your messenger

WhatsApp Telegram