Skip to content

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

Mohit Tekriwalrequested to merge
sqrt_approx into main

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

Merge request reports