Rankings
Badges
/
GioMaz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Giovanni Maria Zanchetta
@GioMaz
Refresh
Open GitHub
🇮🇹 Veneto, Italy
Profile age: over 6 years
Updated 19 days ago
2 followers • 0 following
Language Ranks Breakdown
Global
Italy
Rocq Prover
Advanced 1
1 star
to reach Advanced 2
Position: 34
/
113
Language Score: 10
Top 40% of all ranked profiles
This month change:
↓5
OCaml
Beginner 1
1 star
to reach Beginner 2
Position: 3,184
/
3.4K
Language Score: 1
This month change:
↓1
