A slightly longer Lean 4 proof tour (terrytao.wordpress.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of terrytao.wordpress.com: A slightly longer Lean 4 proof tour

First screen, captured 2 years ago.

Looks similar

Screenshot of terrytao.wordpress.com: Formalizing the proof of PFR in Lean4 using Blueprint: a short tour

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com)

86 points by georgehill 2 years ago | 23 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

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: 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: A Lean companion to Analysis I

A Lean companion to Analysis I (terrytao.wordpress.com)

266 points by jeremyscanvic 1 year ago | 33 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