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

Progress

Rank:2 kyu
Honor:2,249
Leaderboard Position:#7,161
Honor Percentile:Top 1.051%
Total Completed Kata:58

Languages:

Total Languages Trained:7
Highest Trained:Haskell (2 kyu)
Most Recent:Lean

Contributions

Community:

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

Authored Kata:

Created:1 (1 in beta)
Total Completions:1
Total Stars:2
Total Collected:0

Top Tags:

Logic:2
Fundamentals:2
Theorem Proving:2