8 kyu

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

3196% of 1227 of 28ice1000
Discourse (2)
  • |
  • Share this kata:
Loading description...
Theorem Proving

These users have contributed to this kata:

  • 16398479?v=3
  • 7777884?v=3
  • Profile pic

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
8 kyu
0062% of 1319Javatlacati
Status:Testing & feedback needed

Other Kata Authored By ice1000:


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained103
Total Skips0
Total Code Submissions82
Total Times Completed28
Agda Completions27
Coq Completions4
Total Stars3
% of votes with a positive feedback rating96% of 12
Total "Very Satisfied" Votes11
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu