Rankings
Badges
/
asouther4
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrew Souther
@asouther4
Refresh
Open GitHub
🇺🇸 Jefferson, LA
Fordham University
Profile age: over 5 years
Updated 1 day ago
3 followers • 1 following
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Creator
#556,822
#1,692,350
N/A
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean-social-choice
26
1
updated almost 4 years ago • age over 4 years
Lean
100.0%
Last Contributions
2021
optimagic
1 PR
+2,443
-942
Python
307
47
30
leanprover-contrib
1 PR
+15
-0
Python
5
14
View all contributions
Subscribe to asouther4's GitHub rank updates in your messenger
WhatsApp
Telegram
