6 kyu

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

51 of 242ice1000

Description:

Loading description...
Mathematics
Theorem Proving
Algorithms

Stats:

CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained813
Total Skips32
Total Code Submissions551
Total Times Completed242
Idris Completions51
Agda Completions71
Coq Completions138
Total Stars11
% of votes with a positive feedback rating82% of 47
Total "Very Satisfied" Votes33
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