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
Repositories
lean-social-choice
26
1
updated almost 4 years ago • age over 4 years
Lean
100.0%
Contributions
2021
optimagic
1 PR
+2,443
-942
Python
307
47
30
leanprover-contrib
1 PR
+15
-0
Python
5
14
