Stats are being refreshed, your browser will reload soon...
Progress
Rank:2 kyu
Honor:2,250
Leaderboard Position:#6,673
Honor Percentile:Top 1.053%
Total Completed Kata:58
Languages:
Total Languages Trained:7
Highest Trained:Haskell (2 kyu)
Most Recent:Agda
Contributions
Community:
Comments:5 (1 replies)
Collections:0
Kumite:0
Translations:0 (0 approved)
Authored Kata:
Created:1 (1 in beta)
Total Completions:1
Total Stars:2
Total Collected:0
Top Tags:
Logic:2
Fundamentals:2
Theorem Proving:2