A tool to verify estimates, II: a flexible proof assistant terrytao.wordpress.com 36 points by jjgreen 4 days ago
[dead]