6 kyu

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

20100% of 610 of 21steffan153
Loading description...
Fundamentals

These users have contributed to this kata:

Similar Kata:

00100% of 23kbuzzard
Status:Testing & feedback needed
Status:Testing & feedback needed
Estimated Rank:
7 kyu
00100% of 46kckennylau
Status:Testing & feedback needed
Estimated Rank:
5 kyu

Other Kata Authored By steffan153:

0088% of 48steffan153
Status:Testing & feedback needed
Estimated Rank:
7 kyu

Stats:

CreatedMay 1, 2020
PublishedMay 5, 2020
Warriors Trained51
Total Skips2
Total Code Submissions30
Total Times Completed21
Lean Completions10
Coq Completions14
Total Stars2
% of votes with a positive feedback rating100% of 6
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
7 kyu