Giters
fpvandoorn
/
carleson
A formalized proof of Carleson's theorem in Lean
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
15
Watchers:
4
Issues:
7
Forks:
13
fpvandoorn/carleson Stargazers
Utensil
utensil
joewatt95
Formal-Mathematics-Lab
chenjulang
adelon
Junyan Xu
alreadydone
Yiqi Xu
YiqiXu
Rida Hamadani
Rida-Hamadani
Ryan Lahfa
RaitoBezarius
Ethan Wu
YichengDWu
Mia Jasmin Bautista Sanchez
PyroLagus
LibertasSpZ
Tim Kersey
tkersey
Antoine de Saint Germain
Antoine-dSG
Siegmentation Fault
forked-from-1kasper