A certificate checker for roundoff error bounds
Simplistic dependency analysis tool for C
A verifier for approximations of transcendental functions.
Updated
Updated