Show file tree

Hide file tree

Changes from 4 commits

Commits

Show all changes

6 commits

Select commit Hold shift + click to select a range

765e21f

initial commit

YaelDillies Jul 14, 2022

763d4e9

Merge remote-tracking branch 'origin/master' into ruzsa_szemeredi

YaelDillies Aug 13, 2022

5d7d1ab

Ruzsa-Szemerédi number

YaelDillies Aug 15, 2022

4d56d2f

move lemmas around

YaelDillies Aug 16, 2022

fcc54a4

Merge branch 'master' into ruzsa_szemeredi

YaelDillies Jun 18, 2023

7be7568

use the tripartite from triangles API

YaelDillies Jun 18, 2023

File filter

Filter by extension

Filter by extension

.lean  (3) All 1 file type selected

---

Viewed files

Jump to

Jump to file

Failed to load files. Retry

Loading