4 kyu

Rewriting on any binary equivalence relation

3094% of 820solitude
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
0175% of 1420rt-hawk
Status:Testing & feedback needed
Estimated Rank:
6 kyu
2080% of 57fatherof4
Status:Awaiting moderator approval
Estimated Rank:
7 kyu

Other Kata Authored By solitude:

21100% of 45solitude
Status:Ranking feedback needed
Estimated Rank:
5 kyu
10100% of 46solitude
Status:Ranking feedback needed
Estimated Rank:
3 kyu

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained61
Total Skips3
Total Code Submissions27
Total Times Completed20
Coq Completions20
Total Stars3
% 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