carleson
A formalized proof of Carleson's theorem in Lean
of 18 versions of carleson
1-18Sort by
Date
1be1d13
95d25d8
v4.20.0v4.20.038af1a3
v4.20.0-rc5v4.20.0-rc5608e542
v4.20.0-rc4v4.20.0-rc47e68f44
b753be0
v4.19.0v4.19.0f69820f
v4.19.0-rc3v4.19.0-rc3596e407
v4.19.0-rc2v4.19.0-rc2841c1e8
v4.18.0v4.18.04792cda
v4.18.0-rc1v4.18.0-rc1f4c2879
v4.17.0v4.17.05894b59
v4.17.0-rc1v4.17.0-rc1a5d265f
v4.16.0v4.16.0c4593b3
v4.16.0-rc2v4.16.0-rc2386a3c6
0ba357e
v4.14.0-rc2v4.14.0-rc20f438e4
9001fa2
v4.12.0v4.12.0