8 kyu

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

14692% of 5395 of 198ice1000
Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:

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


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained973
Total Skips35
Total Code Submissions379
Total Times Completed198
Agda Completions95
Coq Completions82
Lean Completions42
Total Stars14
% of votes with a positive feedback rating92% of 53
Total "Very Satisfied" Votes46
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