6 kyu

Program Verification #2: Fibonacci numbers

29 of 171monadius

Description:

Loading description...
Theorem Proving
Fundamentals

Similar Kata:

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained583
Total Skips48
Total Code Submissions353
Total Times Completed171
Idris Completions29
Agda Completions45
Coq Completions84
Lean Completions31
Total Stars13
% of votes with a positive feedback rating96% of 38
Total "Very Satisfied" Votes35
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
Ad
Contributors
  • monadius Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • ice1000 Avatar
  • jorendorff Avatar
Ad