Skip to content

Point checker impl

Mohit Tekriwalrequested to merge
pointChecker_impl into master

Implementation of point Checker proof, i.e., the transcendental function and polynomial approximation agree at each point in the domain, Omega, upto a certain error, epsilon, specified by the user

Merge request reports