Skip to content

proof(SafeEmail): DISCHARGE parseEmptyFails via Refl on first pattern clause (proven#90 #107 #119) - #123

Merged
hyperpolymath merged 1 commit into
mainfrom
proof/safeemail-parse-empty-fails
May 30, 2026
Merged

proof(SafeEmail): DISCHARGE parseEmptyFails via Refl on first pattern clause (proven#90 #107 #119)#123
hyperpolymath merged 1 commit into
mainfrom
proof/safeemail-parse-empty-fails

Commits

  1. Commits on May 30, 2026