Popular repositories Loading

1. erdos-problem-347-parametric erdos-problem-347-parametric Public

   This work formalizes and extends Barschkis's original construction, which provided the first concrete instance of Tao's 2025 sketch for Problem 347. The parametric framework presented here generali…

   Lean 1

2. GoTouchThatGrass-3 GoTouchThatGrass-3 Public

   Forked from Smaran-Sure/GoTouchThatGrass-3

   error

   Kotlin

3. GoTouchThatGrass GoTouchThatGrass Public

   GoTouchThatGrass

   Kotlin

4. WeasyPrint WeasyPrint Public

   Forked from Kozea/WeasyPrint

   The awesome document factory

   Python