News for hackers. Stuff that matters.

A comment on A tool to verify estimates, II: a flexible proof assistant. Parent comment

Re:A tool to verify estimates, II: a flexible proof assistant by nh23423fefe on Thursday May 15, 2025 @10:02AM (#43995214)
tao answered in comments

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-e...

[ Parent | on HN ]

There are no comments on this comment yet.