Beta

SKI-ing in Chicken's style

10100% of 46solitude
Loading description...
Fundamentals
Theorem Proving

Stats:

CreatedJun 14, 2019
PublishedJun 14, 2019
Warriors Trained32
Total Skips0
Total Code Submissions6
Total Times Completed6
Coq Completions6
Total Stars1
% of votes with a positive feedback rating100% of 4
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
3 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
3 kyu