Skip to content

feat: add missing UInt bitwise toNat theorems #965

feat: add missing UInt bitwise toNat theorems

feat: add missing UInt bitwise toNat theorems #965

check-pr-body

succeeded Nov 23, 2024 in 3s