5 kyu

Yet another introduction to bisimulation, Chicken's style

Description:

Loading description...
Theorem Proving
Algorithms

Stats:

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