Popular repositories Loading

1. lean-booleanfun lean-booleanfun Public

   Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.

   Lean 2

2. dir24-isoperim dir24-isoperim Public

   Code accompanying the paper "Sharp isoperimetric inequalities on the Hamming cube near the critical exponent" by Polona Durcik, Paata Ivanisvili and Joris Roos.

   Python 1

3. python-flint python-flint Public

   Forked from flintlib/python-flint

   Python bindings for Flint and Arb

   Cython

4. arxiv-news-reader arxiv-news-reader Public

   Filter and display arXiv e-mail announcements according to preferred authors, keywords and categories.

   Python

5. lean-carleson lean-carleson Public

   Forked from fpvandoorn/carleson

   A formalized proof of Carleson's theorem in Lean

   Lean

6. lean-oscillatory lean-oscillatory Public

   Formalization of oscillatory integral theory in Lean 4

   Lean 1