6 kyu

Verified Horner's method

50 of 88dramforever

Description:

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

Similar Kata:

Stats:

CreatedJun 22, 2019
PublishedJun 22, 2019
Warriors Trained294
Total Skips26
Total Code Submissions133
Total Times Completed88
Coq Completions50
Agda Completions22
Lean Completions22
Total Stars9
% of votes with a positive feedback rating96% of 24
Total "Very Satisfied" Votes22
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