6 kyu

Program Verification #1: The sum of an arithmetic progression

23 of 176monadius

Description:

Loading description...
Theorem Proving
Fundamentals

More By Author:

Check out these other kata created by monadius

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained592
Total Skips53
Total Code Submissions322
Total Times Completed176
Idris Completions23
Agda Completions50
Coq Completions77
Lean Completions36
Total Stars7
% of votes with a positive feedback rating97% of 37
Total "Very Satisfied" Votes35
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