6 kyu

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

20100% of 611 of 24steffan153
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:
5 kyu
Status:Waiting for issues to be resolved
Estimated Rank:
7 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 Trained68
Total Skips2
Total Code Submissions34
Total Times Completed24
Lean Completions11
Coq Completions16
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