Rankings
Badges
/
joneugster
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jon Eugster
@joneugster
Refresh
Open GitHub
🇺🇸 Freiburg, DE
Profile age: about 11 years
Updated 13 days ago
26 followers • 2 following
Contacts
https://leanprover.zulipchat.com/#narrow/dm/385895-Jon-Eugster
Organizations
Language Ranks Breakdown
Global
United States
Lean
Beginner 2
1 star
to reach Beginner 3
Position: 540
/
631
Language Score: 1
This month change:
↓6
