Skip to content

feat: add missing UInt bitwise toNat theorems#6187

Closed
tydeu wants to merge 1 commit intoleanprover:masterfrom tydeu:more-uint-bitwise
+19-9

Commits

Commits on Nov 23, 2024