Rankings
Badges
/
thefundamentaltheor3m
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sidharth Hariharan
@thefundamentaltheor3m
Refresh
Open GitHub
🇺🇸 Pittsburgh, Pennsylvania, United States
Carnegie Mellon University
Profile age: over 5 years
Updated 2 days ago
23 followers • 71 following
Contacts
sidharthhariharan@cmu.edu
thefundamentaltheor3m.github.io/
in/sidharth-hariharan
the_fundamental_theor3m
Repositories
Sphere-Packing-Lean
26
16
7
updated 5 days ago • age over 1 year
Lean
83.1%
TeX
16.3%
HTML
0.3%
Ruby
0.1%
Shell
0.1%
Groups_of_ord_psq
1
0
updated over 1 year ago • age over 3 years
Lean
100.0%
Contributions
2023
MATH50003NumericalAnalysis2022-23
1 PR
+3
-2
Jupyter Notebook
54
107
2022
m1fexplained_lean3
1 PR
+30
-3
Lean
13
6
