Beast code in Giters

teorth's repositories

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

Language:LeanApache-2.0120 7 3

Repository for the QED interactive text and possible extensions

Language:Lean82 40

Language:Lean900

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

020