Stats are being refreshed, your browser will reload soon...
Progress
Rank:2 kyu
Honor:2,276
Leaderboard Position:#6,937
Honor Percentile:Top 1.025%
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:108
Total Stars:3
Total Collected:0
Avg. Rank:7 kyu
Avg. Satisfaction Rating:83%
Top Tags:
Theorem Proving:1
Algorithms:1
Fundamentals:1
Data Structures:1