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

Progress

Rank:4 kyu
Honor:637
Leaderboard Position:#80,066
Honor Percentile:Top 11.824%
Total Completed Kata:16

Languages:

Total Languages Trained:1
Highest Trained:Coq (4 kyu)
Most Recent:Lean

Contributions

Community:

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

Authored Kata:

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

Top Tags:

Logic:1
Theorem Proving:1