5 kyu

Yet another introduction to bisimulation, Chicken's style

Description:

Loading description...
Theorem Proving
Algorithms

Stats:

CreatedApr 22, 2019
PublishedApr 22, 2019
Warriors Trained123
Total Skips5
Total Code Submissions62
Total Times Completed53
Coq Completions53
Total Stars7
% of votes with a positive feedback rating97% of 15
Total "Very Satisfied" Votes14
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
Ad
Contributors
  • solitude Avatar
  • kazk Avatar
  • Voile Avatar
  • monadius Avatar
Ad