Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
0 is Less Than
if compare bit stack
xs
and bit stack
ys
=
[
0
, [
0
, [ ] ] ], then
xs
is less than
ys
Comments
Please
log in
to add comments