Ad

Progress

Rank:1 kyu
Honor:3,493
Leaderboard Position:#3,313
Honor Percentile:Top 0.492%
Total Completed Kata:97

Languages:

Total Languages Trained:2
Highest Trained:Python (2 kyu)
Most Recent:Coq

Contributions

Community:

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

Authored Kata:

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

Top Tags:

Mathematics:1
Theorem Proving:1