Repository navigation

proof(SafeChecksum): DISCHARGE adler32ModIsLargestPrimeBelow2Pow16 via Refl (proven#90 #107 #119) - #122

Merged

hyperpolymath merged 1 commit into

mainfrom

proof/safechecksum-adler32-anchor

May 30, 2026

Merged

proof(SafeChecksum): DISCHARGE adler32ModIsLargestPrimeBelow2Pow16 via Refl (proven#90 #107 #119)#122
hyperpolymath merged 1 commit into
mainfrom
proof/safechecksum-adler32-anchor

Commits on May 30, 2026
- proof(SafeChecksum): DISCHARGE adler32ModIsLargestPrimeBelow2Pow16 via Refl
  
  hyperpolymath
  and
  claude
  committed
  4d9148b