8 kyu

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

12491% of 4579 of 146ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained773
Total Skips30
Total Code Submissions290
Total Times Completed146
Agda Completions79
Coq Completions60
Lean Completions22
Total Stars12
% of votes with a positive feedback rating91% of 45
Total "Very Satisfied" Votes39
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes2
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu