8 kyu

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

137 of 318ice1000

Description:

Loading description...
Theorem Proving
Fundamentals

More By Author:

Check out these other kata created by ice1000

Stats:

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