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

YHacker Newsscreenshots

Screenshot of terrytao.wordpress.com: A Lean companion to Analysis I

First screen, captured 1 year ago.

Looks similar

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: Local Bernstein theory, and lower bounds for Lebesgue constants

Local Bernstein theory, and lower bounds for Lebesgue constants (terrytao.wordpress.com)

40 points by jjgreen 7 months ago | 7 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: 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: Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)

Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)(terrytao.wordpress.com)

68 points by gmays 1 month ago | 40 comments