8 kyu

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

10495% of 3372 of 103ice1000
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
8 kyu
0068% of 2030Javatlacati
Status:Testing & feedback needed

Other Kata Authored By ice1000:

Stats:

CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained639
Total Skips22
Total Code Submissions217
Total Times Completed103
Agda Completions72
Coq Completions38
Total Stars10
% of votes with a positive feedback rating95% of 33
Total "Very Satisfied" Votes31
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes1
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu