GitHub repository: leohentschker/estimates
Primary language: Python
Description: Code to automatically prove or verify estimates in analysis