Code to automatically prove or verify estimates in analysis - View it on GitHub