Ad

Progress

Rank:4 kyu
Honor:959
Leaderboard Position:#35,974
Honor Percentile:Top 5.320%
Total Completed Kata:90

Languages:

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

Contributions

Community:

Comments:7 (1 replies)
Collections:0
Kumite:6 (6 Started)
Translations:0 (0 approved)

Authored Kata:

Created:4 (3 in beta)
Total Completions:37
Total Stars:2
Total Collected:0
Avg. Rank:6 kyu
Avg. Satisfaction Rating:100%

Top Tags:

Puzzles:3
Fundamentals:1
Algebra:1
Mathematics:1
Theorem Proving:1