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
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 10
Position: 1
/
1
OCaml
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 1
Position: 22
/
34
