carleson
A formalized proof of Carleson's theorem in Lean
of 10 versions of carleson
1-10Sort by
Date
7213b8c
4792cda
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