Name:Unknown
Clan:Unknown
Skills:theorem proving, competitive programming
Member Since:Apr 2020
Last Seen:Nov 2024
Profiles:
Following:0
Followers:5
Allies:0
Stats are being refreshed, your browser will reload soon...
Progress
Rank:4 kyu
Honor:1,081
Leaderboard Position:#28,543
Honor Percentile:Top 4.219%
Total Completed Kata:61
Languages:
Total Languages Trained:2
Highest Trained:C++ (5 kyu)
Most Recent:Lean
Contributions
Community:
Comments:11 (0 replies)
Collections:0
Kumite:10 (10 Started)
Translations:0 (0 approved)
Authored Kata:
Created:17 (11 in beta)
Total Completions:208
Total Stars:18
Total Collected:5
Avg. Rank:6 kyu
Avg. Satisfaction Rating:98%
Top Tags:
Fundamentals:13
Mathematics:11
Theorem Proving:4
Algorithms:4
Linear Algebra:1
Logic:1