8 kyu

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

15693% of 61111 of 238ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:

Other Kata Authored By ice1000:

00100% of 25ice1000
Status:Testing & feedback needed
Estimated Rank:
7 kyu
11100% of 412ice1000
Status:Testing & feedback needed
Estimated Rank:
5 kyu


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained1222
Total Skips44
Total Code Submissions483
Total Times Completed238
Agda Completions111
Coq Completions101
Lean Completions53
Total Stars15
% of votes with a positive feedback rating93% of 61
Total "Very Satisfied" Votes54
Total "Somewhat Satisfied" Votes5
Total "Not Satisfied" Votes2
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu