Skip to content

proof(SafeCBOR): DISCHARGE maxNestingDepthAnchor via Refl (proven#90, #107) - #110

Merged
hyperpolymath merged 1 commit into
mainfrom
proof/safecbor-max-nesting-anchor
May 30, 2026
Merged

proof(SafeCBOR): DISCHARGE maxNestingDepthAnchor via Refl (proven#90, #107)#110
hyperpolymath merged 1 commit into
mainfrom
proof/safecbor-max-nesting-anchor

Commits

  1. Commits on May 30, 2026