8 kyu

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

14691% of 5290 of 181ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
8 kyu
1071% of 2439Javatlacati
Status:Testing & feedback needed


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained900
Total Skips32
Total Code Submissions348
Total Times Completed181
Agda Completions90
Coq Completions74
Lean Completions38
Total Stars14
% of votes with a positive feedback rating91% of 52
Total "Very Satisfied" Votes45
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