Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/Array.mapIdx
/
.
/
tests
/
lean
/
lvl1.lean.expected.out
blob: da89fcaf761fa691f471baf42873ea6838b370fa [
file
] [
edit
]
"max (max (max (w+2) (x+4)) (y+2)) (z+5)"
"x"
"x"
"1"
"x+1"
"x+1"
"x+1"
"#[0, 0, 1, x, x, x+1, x+2, y, z, z+2]"
