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

 (terrytao.wordpress.com)

44 points | by jjgreen 4 days ago ago

No comments yet.