5 kyu

Pattern in the mirror and bisimulation for real

12100% of 1226ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained85
Total Skips7
Total Code Submissions115
Total Times Completed26
Agda Completions26
Total Stars1
% of votes with a positive feedback rating100% of 12
Total "Very Satisfied" Votes12
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments6
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu