6 kyu

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

51 of 259ice1000

Description:

Loading description...
Mathematics
Theorem Proving
Algorithms

Stats:

CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained868
Total Skips35
Total Code Submissions575
Total Times Completed259
Idris Completions51
Agda Completions76
Coq Completions150
Total Stars13
% of votes with a positive feedback rating84% of 52
Total "Very Satisfied" Votes38
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