7 kyu

Show that there are two types that are unequal

56 of 135kckennylau

Description:

Loading description...
Fundamentals

More By Author:

Check out these other kata created by kckennylau

Stats:

CreatedApr 10, 2020
PublishedApr 10, 2020
Warriors Trained410
Total Skips22
Total Code Submissions278
Total Times Completed135
Lean Completions56
Coq Completions62
Agda Completions26
Total Stars6
% of votes with a positive feedback rating90% of 20
Total "Very Satisfied" Votes17
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes1
Total Rank Assessments7
Average Assessed Rank
7 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • kckennylau Avatar
  • donaldsebleung Avatar
  • monadius Avatar
Ad