4 kyu

Rewriting on any binary equivalence relation

2093% of 715solitude
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
0073% of 1317rt-hawk
Status:Testing & feedback needed
Estimated Rank:
6 kyu
Status:Testing & feedback needed
Estimated Rank:
6 kyu

Other Kata Authored By solitude:

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

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained51
Total Skips2
Total Code Submissions22
Total Times Completed15
Coq Completions15
Total Stars2
% of votes with a positive feedback rating93% of 7
Total "Very Satisfied" Votes6
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