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

Progress

Rank:2 kyu
Honor:2,276
Leaderboard Position:#7,007
Honor Percentile:Top 1.028%
Total Completed Kata:76

Languages:

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

Contributions

Community:

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

Authored Kata:

Created:1 (0 in beta)
Total Completions:110
Total Stars:3
Total Collected:0
Avg. Rank:7 kyu
Avg. Satisfaction Rating:83%

Top Tags:

Theorem Proving:1
Algorithms:1
Fundamentals:1
Data Structures:1