GitHub repository: teorth/estimates
Primary language: Python
Created: 2025-05-01T22:13:07Z
Description: Code to automatically prove or verify estimates in analysis