tao answered in comments https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/#comment-688007 https://terrytao.wo

tao answered in comments https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/#comment-688007 https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-e...