Stats are being refreshed, your browser will reload soon...
Progress
Rank:1 kyu
Honor:3,552
Leaderboard Position:#3,323
Honor Percentile:Top 0.476%
Total Completed Kata:100
Languages:
Total Languages Trained:2
Highest Trained:Python (2 kyu)
Most Recent:Coq
Contributions
Community:
Comments:2 (0 replies)
Collections:0
Kumite:4 (4 Started)
Translations:0 (0 approved)
Authored Kata:
Created:2 (2 in beta)
Total Completions:10
Total Stars:0
Total Collected:0
Avg. Satisfaction Rating:100%
Top Tags:
Theorem Proving:2
Mathematics:2