8 kyu

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

164 of 377ice1000

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained1975
Total Skips65
Total Code Submissions717
Total Times Completed377
Agda Completions164
Coq Completions156
Lean Completions96
Total Stars25
% of votes with a positive feedback rating91% of 81
Total "Very Satisfied" Votes69
Total "Somewhat Satisfied" Votes9
Total "Not Satisfied" Votes3
Total Rank Assessments4
Average Assessed Rank
8 kyu
Highest Assessed Rank
8 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
  • donaldsebleung Avatar
  • solitude Avatar
Ad