Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
found value
if
el
=
val
, then output of the index_compute function where the input stack is [
el
,
remain
], value is
val
, and index is
idx
=
idx
Comments
Please
log in
to add comments