Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
Subtract by 1
bit [
1
,
xs
] minus bit
1
=
[
0
,
xs
]
Comments
Please
log in
to add comments