A tool to verify estimates, II: a flexible proof assistant

1 pointsposted 16 hours ago
by jjgreen
(terrytao.wordpress.com)

No comments yet