6 kyu

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

51 of 257ice1000

Description:

Loading description...
Mathematics
Theorem Proving
Algorithms

Stats:

CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained866
Total Skips35
Total Code Submissions572
Total Times Completed257
Idris Completions51
Agda Completions75
Coq Completions149
Total Stars13
% of votes with a positive feedback rating83% of 51
Total "Very Satisfied" Votes37
Total "Somewhat Satisfied" Votes11
Total "Not Satisfied" Votes2
Total Rank Assessments9
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
  • lolisa Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • lwoo1999 Avatar
  • solitude Avatar
Ad