Login
From:
What's new
(Uncensored)
subscribe
A tool to verify estimates, II: a flexible proof assistant | What's new
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
links
backlinks
Tagged with:
math
formalmethods
In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I have overhauled the tool twice: first to turn it into a rudimentary proof assistant th…
Roast topics
Find topics
Find it!
