Dandelion

Dandelion

A verifier for approximations of transcendental functions.