6 kyu

Program Verification #2: Fibonacci numbers

26 of 153monadius


Loading description...
Theorem Proving


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained509
Total Skips39
Total Code Submissions249
Total Times Completed153
Idris Completions26
Agda Completions40
Coq Completions74
Lean Completions29
Total Stars11
% of votes with a positive feedback rating96% of 34
Total "Very Satisfied" Votes31
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