4 kyu

Rewriting on any binary equivalence relation

4094% of 824solitude
Loading description...
Theorem Proving
Advanced Language Features

These users have contributed to this kata:

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
6 kyu
0178% of 1623rt-hawk
Status:Testing & feedback needed
Estimated Rank:
6 kyu

Other Kata Authored By solitude:

21100% of 56solitude
Status:Awaiting moderator approval
Estimated Rank:
5 kyu
10100% of 46solitude
Status:Ranking feedback needed
Estimated Rank:
3 kyu


CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained69
Total Skips3
Total Code Submissions33
Total Times Completed24
Coq Completions24
Total Stars4
% of votes with a positive feedback rating94% of 8
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
3 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
4 kyu