#tooltoverifyestimates — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tooltoverifyestimates, aggregated by home.social.
-
A tool to verify estimates, II: a flexible proof assistant
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
#HackerNews #tooltoverifyestimates #flexibleproofassistant #mathprogramming #softwaredevelopment #research
-
A tool to verify estimates, II: a flexible proof assistant
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
#HackerNews #tooltoverifyestimates #flexibleproofassistant #mathprogramming #softwaredevelopment #research
-
A tool to verify estimates, II: a flexible proof assistant
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
#HackerNews #tooltoverifyestimates #flexibleproofassistant #mathprogramming #softwaredevelopment #research
-
A tool to verify estimates, II: a flexible proof assistant
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
#HackerNews #tooltoverifyestimates #flexibleproofassistant #mathprogramming #softwaredevelopment #research