6 kyu

Program Verification #3: Tail-recursive sum

25 of 195monadius

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained579
Total Skips46
Total Code Submissions340
Total Times Completed195
Idris Completions25
Agda Completions50
Coq Completions91
Lean Completions41
Total Stars6
% of votes with a positive feedback rating96% of 41
Total "Very Satisfied" Votes38
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • monadius Avatar
  • donaldsebleung Avatar
  • kckennylau Avatar
Ad