8 kyu

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

152 of 354ice1000

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained1833
Total Skips63
Total Code Submissions679
Total Times Completed354
Agda Completions152
Coq Completions146
Lean Completions93
Total Stars23
% of votes with a positive feedback rating93% of 76
Total "Very Satisfied" Votes67
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
Ad
Contributors
  • ice1000 Avatar
  • donaldsebleung Avatar
  • solitude Avatar
Ad