6 kyu

Program Verification #2: Fibonacci numbers

10394% of 2623 of 112monadius
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained415
Total Skips31
Total Code Submissions185
Total Times Completed112
Idris Completions23
Agda Completions31
Coq Completions57
Lean Completions13
Total Stars10
% of votes with a positive feedback rating94% of 26
Total "Very Satisfied" Votes23
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