6 kyu

Verified Horner's method

47 of 85dramforever

Description:

Loading description...
Theorem Proving
Functional Programming
Recursion
Mathematics
Algorithms

Similar Kata:

Stats:

CreatedJun 22, 2019
PublishedJun 22, 2019
Warriors Trained284
Total Skips26
Total Code Submissions129
Total Times Completed85
Coq Completions47
Agda Completions22
Lean Completions22
Total Stars8
% of votes with a positive feedback rating96% of 23
Total "Very Satisfied" Votes21
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • dramforever Avatar
  • donaldsebleung Avatar
  • monadius Avatar
  • solitude Avatar
  • kckennylau Avatar
Ad