7 kyu

relating binary relations

44 of 85kbuzzard

Description:

Loading description...
Puzzles

More By Author:

Check out these other kata created by kbuzzard

Stats:

CreatedApr 29, 2020
PublishedApr 29, 2020
Warriors Trained171
Total Skips4
Total Code Submissions158
Total Times Completed85
Lean Completions44
Coq Completions45
Total Stars4
% of votes with a positive feedback rating93% of 20
Total "Very Satisfied" Votes17
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
7 kyu
Ad
Contributors
  • kbuzzard Avatar
  • donaldsebleung Avatar
  • monadius Avatar
Ad