8 kyu

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

14691% of 5290 of 183ice1000
Loading description...
Fundamentals
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

Stats:

CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained903
Total Skips32
Total Code Submissions350
Total Times Completed183
Agda Completions90
Coq Completions76
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