4 kyu

Rewriting on any binary equivalence relation

4094% of 824solitude
Loading description...
Fundamentals
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
Status:Testing & feedback needed
Estimated Rank:
6 kyu

Other Kata Authored By solitude:

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

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained70
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