6 kyu

Program Verification #1: The sum of an arithmetic progression

25 of 203monadius

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained702
Total Skips61
Total Code Submissions364
Total Times Completed203
Idris Completions25
Agda Completions56
Coq Completions91
Lean Completions42
Total Stars9
% of votes with a positive feedback rating98% of 42
Total "Very Satisfied" Votes40
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu
Ad
Contributors
  • monadius Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • eric-wieser Avatar
Ad