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