4 kyu

A+A=B+B so A=B? Prove it in Haskell!

31100% of 611ice1000
Loading description...
Theorem Proving
Functional Programming
Declarative Programming

These users have contributed to this kata:

Other Kata Authored By ice1000:


CreatedMay 26, 2021
PublishedMay 26, 2021
Warriors Trained92
Total Skips3
Total Code Submissions20
Total Times Completed11
Haskell Completions11
Total Stars3
% of votes with a positive feedback rating100% of 6
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu