8 kyu

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

137 of 318ice1000


Loading description...
Theorem Proving

More By Author:

Check out these other kata created by ice1000


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained1555
Total Skips53
Total Code Submissions617
Total Times Completed318
Agda Completions137
Coq Completions129
Lean Completions84
Total Stars22
% of votes with a positive feedback rating92% of 70
Total "Very Satisfied" Votes61
Total "Somewhat Satisfied" Votes7
Total "Not Satisfied" Votes2
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu