Skip to content

Mclaurin series and first checker implementation with soundness

Heiko Becker requested 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