4 kyu

Rewriting on any binary equivalence relation

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained110
Total Skips6
Total Code Submissions56
Total Times Completed40
Coq Completions40
Total Stars5
% of votes with a positive feedback rating95% of 11
Total "Very Satisfied" Votes10
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
Ad
Contributors
  • solitude Avatar
  • kazk Avatar
  • Voile Avatar
  • monadius Avatar
Ad