Ad

Progress

Rank:4 kyu
Honor:655
Leaderboard Position:#76,859
Honor Percentile:Top 11.282%
Total Completed Kata:58

Languages:

Total Languages Trained:3
Highest Trained:Lean (5 kyu)
Most Recent:Lean

Contributions

Community:

Comments:3 (1 replies)
Collections:0
Kumite:0
Translations:0 (0 approved)

Authored Kata:

Created:1 (1 in beta)
Total Completions:2
Total Stars:0
Total Collected:0
Avg. Satisfaction Rating:100%

Top Tags:

Theorem Proving:1
Fundamentals:1