teorth

analysis. A Lean companion to Analysis I

erdosproblems. A community database for the problems on the erdosproblems.com site

equational_theories. A project to map out the relations between different equational theories of Magmas.

estimates. Code to automatically prove or verify estimates in analysis

optimizationproblems. A collection of optimization problems in mathematics

pfr. Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

QED. Repository for the QED interactive text and possible extensions

symmetric_project. Lean

expdb. Exponent pair database

estimate_tools. Lean

tao-web. Structured source of truth for Terence Tao's web content (book errata, rendered to GitHub Pages)

erdos-guy-selfridge. Project to verify the Guy-Selfridge conjectures

teorth.github.io. Web page for exponent pair database

newton. Lean

HelloThere. Trying out collaboration on Git

asymptotic. C

equational. Lean

dbn_upper_bound. Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project

explain-explain-xkcd. Perl

test.

test2. test2

MathBases. Python