Stats are being refreshed, your browser will reload soon...
Progress
Rank:2 kyu
Honor:2,274
Leaderboard Position:#6,540
Honor Percentile:Top 1.033%
Total Completed Kata:76
Languages:
Total Languages Trained:10
Highest Trained:Agda (3 kyu)
Most Recent:Lean
Contributions
Community:
Comments:3 (0 replies)
Collections:0
Kumite:1 (1 Started)
Translations:0 (0 approved)
Authored Kata:
Created:1 (0 in beta)
Total Completions:102
Total Stars:2
Total Collected:0
Avg. Rank:7 kyu
Avg. Satisfaction Rating:82%
Top Tags:
Theorem Proving:1
Algorithms:1
Fundamentals:1
Data Structures:1