6 kyu

Verified list maximum


Loading description...
Theorem Proving


CreatedMay 31, 2021
PublishedMay 31, 2021
Warriors Trained100
Total Skips4
Total Code Submissions125
Total Times Completed33
Coq Completions23
Lean Completions10
Agda Completions4
Total Stars0
% of votes with a positive feedback rating100% of 6
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
6 kyu