Stats are being refreshed, your browser will reload soon...
Progress
Rank:3 kyu
Honor:752
Leaderboard Position:#26,079
Honor Percentile:Top 8.939%
Total Completed Kata:28
Languages:
Total Languages Trained:9
Highest Trained:Idris (4 kyu)
Most Recent:Coq
Contributions
Community:
Comments:1 (0 replies)
Collections:0
Kumite:0
Translations:0 (0 approved)
Authored Kata:
Created:1 (0 in beta)
Total Completions:8
Total Stars:1
Total Collected:0
Avg. Rank:5 kyu
Avg. Satisfaction Rating:100%
Top Tags:
Theorem Proving:1
Fundamentals:1
Logic:1
Algorithms:1