Code — 2607.19268v1

  1. BootsRoyle/Arithmetic.lean7,043 bytes
  2. BootsRoyle/Audit.lean563 bytes
  3. BootsRoyle/Identities.lean6,594 bytes
  4. BootsRoyle/Spectral.lean13,999 bytes
  5. BootsRoyle.lean339 bytes
  6. README.md9,697 bytes
  7. lakefile.lean6,908 bytes
  8. tools/check_finite.c5,198 bytes
  9. tools/check_finite.py3,462 bytes