carleson
A formalized proof of Carleson's theorem in Lean
of 13 versions of carleson
1-13Sort by
Date
1014fbd
f69820f
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