Skip to content

proved soundness of polynomial approximation of sqrt. changed the lemma...

Mohit Tekriwal requested to merge sqrt_approx into main

proved soundness of polynomial approximation of sqrt. changed the lemma statement of mcLaurin for sqrt

Merge request reports