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 Trained326
Total Skips18
Total Code Submissions261
Total Times Completed49
Haskell Completions49
Total Stars16
% of votes with a positive feedback rating97% of 16
Total "Very Satisfied" Votes15
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