5 kyu

Yet another introduction to bisimulation, Chicken's style


Loading description...
Theorem Proving


CreatedApr 22, 2019
PublishedApr 22, 2019
Warriors Trained103
Total Skips4
Total Code Submissions47
Total Times Completed41
Coq Completions41
Total Stars5
% of votes with a positive feedback rating95% of 11
Total "Very Satisfied" Votes10
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
5 kyu