Kata

4 kyu

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

20 20 1194% of 41183 of 184ice1000

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!

26 26 1394% of 34134ice1000

1 kyu

A+B=B+A? Prove it!

64 64 2396% of 923121 Issue Reported

6 kyu

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

4 4 483% of 39162ice1000

Beta

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

1 1 033% of 36ice10001 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
3 kyu

4 kyu

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

2 2 1100% of 611ice10001 Issue Reported

7 kyu

Coding 3min : A*B=C

13 13 390% of 166600myjinxin2015

6 kyu

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

2 2 0100% of 635user8436785

5 kyu

Fastest Code : A*B=C

21 21 795% of 47147myjinxin2015

Other Kata Authored By ice1000:

Beta

Voile's question: ∀ (n : ℕ), 1 = 2 * n

0 0 0100% of 24ice1000

Status:Testing & feedback needed

Estimated Rank:
7 kyu

6 kyu

Tricky Kotlin #0: extension constructor

15 15 494% of 43159ice10001 Issue Reported

8 kyu

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

14 14 692% of 56218ice1000

6 kyu

Throw without throwing

11 11 385% of 44121ice1000

Stats:

Created	Jan 4, 2019
Published	Jan 4, 2019
Warriors Trained	505
Total Skips	39
Total Code Submissions	839
Total Times Completed	184
Haskell Completions	183
Total Stars	20

% 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