Ad
Stats are being refreshed, your browser will reload soon...

Progress

Rank:3 kyu
Honor:1,075
Leaderboard Position:#29,170
Honor Percentile:Top 4.276%
Total Completed Kata:17

Languages:

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

Contributions

Community:

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

Authored Kata:

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

Top Tags:

Theorem Proving:1
Regular Expressions:1