A tool to verify estimates, II: a flexible proof assistantterrytao.wordpress.com69 pointsjjgreena year ago