5 kyu

Heterogeneous Equality on sized vectors

Description:

Loading description...
Theorem Proving
Puzzles

Similar Kata:

More By Author:

Check out these other kata created by lwoo1999

Stats:

CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained136
Total Skips10
Total Code Submissions50
Total Times Completed36
Agda Completions36
Total Stars5
% of votes with a positive feedback rating90% of 10
Total "Very Satisfied" Votes8
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • lwoo1999 Avatar
  • kazk Avatar
  • Axure Avatar
  • ice1000 Avatar
Ad