Skip to content

Mclaurin series and first checker implementation with soundness

Heiko Beckerrequested to merge
mclauren_series into master

This adds a first running implementation of the certificate checker and some McLaurin series to implement polynomial approximations.

Merge request reports