Code — 2607.20408v1

  1. README.md10,562 bytes
  2. Repro/Audit.lean692 bytes
  3. Repro/CentralClaim.lean3,485 bytes
  4. Repro/ExtremeValues.lean6,772 bytes
  5. Repro/PaperErrors.lean2,749 bytes
  6. Repro/QuadraticCharacters.lean3,088 bytes
  7. Repro/parity_check.py1,870 bytes
  8. lakefile.lean6,948 bytes