4 kyu

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

Description:

Loading description...
Theorem Proving
Functional Programming
Fundamentals

Stats:

CreatedMay 26, 2021
PublishedMay 26, 2021
Warriors Trained325
Total Skips18
Total Code Submissions259
Total Times Completed47
Haskell Completions47
Total Stars16
% of votes with a positive feedback rating97% of 15
Total "Very Satisfied" Votes14
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
  • donaldsebleung Avatar
Ad