Language Breakdown
Lines of code distribution across 0 owned repositories
0
Total LOC
Collaboration Network
Global Impact visualization
Repos
12
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
9 days
692
Contributions
163
Commits
174
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
6 total
12AbBa
@12AbBa
Hannah Fechtner
@hannahfechtner
Jovan Gerbscheid
@JovanGerb
dan
@gaearon
Tristan F.-R.
@tristan-f-r
Synced via GitHub
Top Repositories
mathlib4
The math library of Lean 4
1
0
Lean
lean4
Lean 4 programming language and theorem prover
1
0
Lean
loogle
Mathlib search tool
0
0
Lean
Poly
A Lean4 Formalization of Polynomial Functors
0
0
Lean
ClassFieldTheory
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory
0
0
Lean
combinatorial-games
Combinatorial game library in Lean 4
0
0
Lean
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
0
0
Lean
Open Source Impact
Contributions to external projects
67 merged PRs
pi-base/data
136
leanprover/lean4
8220
leanprover-community/mathlib4
3434
leanprover-community/batteries
392
nomeata/loogle
142
vihdzp/combinatorial-games
60
kbuzzard/ClassFieldTheory
15
kckennylau/mathlib4
0
Contributed to 8 repositories