Skip to content

proof(SafeBitset): DISCHARGE singletonZeroCapRejects via 2-arm Nat case-split (proven#90, #107) - #114

Merged
hyperpolymath merged 1 commit into
mainfrom
proof/safebitset-singleton-zero-cap-rejects
May 30, 2026
Merged

proof(SafeBitset): DISCHARGE singletonZeroCapRejects via 2-arm Nat case-split (proven#90, #107)#114
hyperpolymath merged 1 commit into
mainfrom
proof/safebitset-singleton-zero-cap-rejects

proof(SafeBitset): DISCHARGE singletonZeroCapRejects via 2-arm Nat ca…

de9900b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar