Kata

4 kyu

(A+B)+C=A+(B+C)? Prove it!

19 19 1194% of 41177 of 178ice1000

Train Next Kata

Loading description...

Fundamentals

Numbers

Mathematics

Algorithms

These users have contributed to this kata:

Similar Kata:

1 kyu

A*B=B*A? Prove it!

27 27 1394% of 32127ice1000

1 kyu

A+B=B+A? Prove it!

62 62 2396% of 90302AJFarmar1 Issue Reported

6 kyu

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

4 4 482% of 37151ice1000

Beta

A+B=B+A? Prove it in using DataKinds!

1 1 033% of 35ice10001 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
3 kyu

7 kyu

Coding 3min : A*B=C

12 12 390% of 159571myjinxin2015

6 kyu

Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats

2 2 0100% of 630user8436785

5 kyu

Fastest Code : A*B=C

21 21 696% of 46143myjinxin2015

6 kyu

0.999... = 1? Prove it!

3 3 1100% of 311donaldsebleung

Other Kata Authored By ice1000:

2 kyu

Just Be Injective

4 4 2100% of 621ice1000

6 kyu

Throw without throwing

11 11 385% of 43114ice1000

8 kyu

Theorem proving hello world: prove a+0=a and 0+a=a

14 14 692% of 56209ice1000

6 kyu

Tricky Kotlin #0: extension constructor

14 14 493% of 38147ice10001 Issue Reported

Stats:

Created	Jan 4, 2019
Published	Jan 4, 2019
Warriors Trained	486
Total Skips	38
Total Code Submissions	821
Total Times Completed	178
Haskell Completions	177
Total Stars	19

% of votes with a positive feedback rating	94% of 41
Total "Very Satisfied" Votes	36
Total "Somewhat Satisfied" Votes	5
Total "Not Satisfied" Votes	0
Total Rank Assessments	3
Average Assessed Rank	4 kyu
Highest Assessed Rank	3 kyu
Lowest Assessed Rank	7 kyu