6 kyu

Program Verification #1: The sum of an arithmetic progression

25 of 210monadius

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained742
Total Skips62
Total Code Submissions375
Total Times Completed210
Idris Completions25
Agda Completions60
Coq Completions93
Lean Completions43
Total Stars9
% of votes with a positive feedback rating98% of 44
Total "Very Satisfied" Votes42
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