A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of terrytao.wordpress.com: A tool to verify estimates, II: a flexible proof assistant

First screen, captured 1 year ago.

Looks similar

Screenshot of terrytao.wordpress.com: A proof of concept tool to verify estimates

A proof of concept tool to verify estimates (terrytao.wordpress.com)

70 points by jjgreen 1 year ago | 18 comments

Screenshot of terrytao.wordpress.com: Erdős Problem #1026

Erdős Problem #1026 (terrytao.wordpress.com)

146 points by tzury 10 months ago | 19 comments

Screenshot of terrytao.wordpress.com: Mathematical exploration and discovery at scale

Mathematical exploration and discovery at scale (terrytao.wordpress.com)

253 points by nabla9 11 months ago | 117 comments

Screenshot of terrytao.wordpress.com: The distribution of eigenvalues of GUE and its minors at fixed index

The distribution of eigenvalues of GUE and its minors at fixed index (terrytao.wordpress.com)

11 points by surprisetalk 1 year ago | 1 comments

Screenshot of terrytao.wordpress.com: Six Math Essentials

Six Math Essentials (terrytao.wordpress.com)

275 points by digital55 8 months ago | 56 comments

Screenshot of terrytao.wordpress.com: Palomar: A registry of Lean verified mathematics

Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)

163 points by matt_d 2 months ago | 37 comments