Beta

SKI-ing in Chicken's style

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

Stats:

CreatedJun 14, 2019
PublishedJun 14, 2019
Warriors Trained24
Total Skips0
Total Code Submissions5
Total Times Completed5
Coq Completions5
Total Stars1
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
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