Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
Minimum Value (2)
if
xs
is greater than (minimum value of stack
xss
), then minimum value of stack [
xs
,
xss
]
=
minimum value of stack
xss
Comments
Please
log in
to add comments