roos-j

Allston, MA

Pinned Repositories

arxiv-news-reader
Filter and display arXiv e-mail announcements according to preferred authors, keywords and categories.
Language:Python10
dir24-isoperim
Code accompanying the paper "Sharp isoperimetric inequalities on the Hamming cube near the critical exponent" by Polona Durcik, Paata Ivanisvili and Joris Roos.
Language:Python10
python-flint
Python bindings for Flint and Arb
Language:Cython13627
lean-booleanfun
Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.
Language:Lean10
lean-carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean00
python-flint
Python bindings for Flint and Arb
Language:Cython00
lean4
Lean 4 programming language and theorem prover
Language:Lean4.9k437
mathlib4
The math library of Lean 4
Language:Lean1.6k355
carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean3422

roos-j/lean-carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean
roos-j/lean-booleanfun
Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.
Language:Lean1
roos-j/python-flint
Python bindings for Flint and Arb
Language:Cython
roos-j/dir24-isoperim
Code accompanying the paper "Sharp isoperimetric inequalities on the Hamming cube near the critical exponent" by Polona Durcik, Paata Ivanisvili and Joris Roos.
Language:Python1
roos-j/arxiv-news-reader
Filter and display arXiv e-mail announcements according to preferred authors, keywords and categories.
Language:Python1