Rankings
Badges
/
a2435191
Rankings
Badges
Overview
Ranks
Repositories
Languages
William Bradley
@a2435191
Refresh
Open GitHub
🇺🇸 Ithaca, NY
Profile age: about 5 years
Updated about 8 hours ago
11 followers • 16 following
Repositories
lean-logic-formalization
12
0
updated 5 months ago • age 6 months
Lean
100.0%
TracerouteVisualization
5
0
updated over 4 years ago • age over 4 years
Python
100.0%
Contributions
2025
Rupert.lean
1 PR
+49
-195
Lean
16
3
2021
pandas
1 PR
+1
-2
Python
46,823
19,127
113
