carleson
A formalized proof of Carleson's theorem in Lean
of 21 versions of carleson
1-20Sort by
Date
bc0e6ef
v4.22.0-rc2d5b5f18
v4.22.0-rc2v4.22.0-rc234.1 MBf621ab4
v4.21.0v4.21.034.1 MB6512b42
v4.21.0-rc3v4.21.0-rc395d25d8
v4.20.0v4.20.038af1a3
v4.20.0-rc5v4.20.0-rc5608e542
v4.20.0-rc4v4.20.0-rc47e68f44
v4.20.0-rc2v4.20.0-rc228.4 MBb753be0
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
v4.15.0v4.15.017.4 MB0ba357e
v4.14.0-rc2v4.14.0-rc20f438e4
v4.13.0v4.13.015.9 MB