Code — 2607.19283v1

  1. ENOTV/Audit.lean485 bytes
  2. ENOTV/Basic.lean5,335 bytes
  3. ENOTV/Bulk.lean10,030 bytes
  4. ENOTV/Compact.lean2,729 bytes
  5. ENOTV/Counterexample.lean15,596 bytes
  6. ENOTV/Endpoint.lean3,795 bytes
  7. ENOTV/Energy.lean7,134 bytes
  8. ENOTV/Estimates.lean6,632 bytes
  9. ENOTV/Euler.lean6,691 bytes
  10. ENOTV/EvenEnergy.lean34,003 bytes
  11. ENOTV/EvenFailure.lean10,818 bytes
  12. ENOTV/Junction.lean3,404 bytes
  13. ENOTV/Localization.lean20,075 bytes
  14. ENOTV/Main.lean1,483 bytes
  15. ENOTV/Positive.lean3,030 bytes
  16. ENOTV/Representation.lean3,638 bytes
  17. ENOTV/SourceComparison.lean12,513 bytes
  18. README.md7,095 bytes
  19. lakefile.lean6,925 bytes