Beast code in Giters

teorth's repositories

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

Language:LeanApache-2.0123 7 3

Repository for the QED interactive text and possible extensions

Language:Lean82 40

Exponent pair database

Language:TeXApache-2.01300

Language:Lean9 20

Language:C600

Trying out collaboration on Git

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

Language:CNOASSERTION2 30

Language:Perl2 40

Web page for exponent pair database

Language:HTMLMIT200

020