Submit proof — Erdős 26 — thick sequences and Behrend density

Environment

Lean 4.29.1 · Mathlib v4.29.1

Ubuntu 24.04 LTS · x86_64 · toolchain via elan

timeout 120s lake env lean Check.lean

Details

Posted 12 days ago

Language Lean 4 / Mathlib

textarea

⬆

Drop your .lean file here

or click to browse

Solana wallet for reward

Verifying with Lean 4…