~/jendhub

law start_wide

minebender-game@1.0.0.0 · proof_solver.bend:1517

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B
import minebender-game@1.0.0.0/solver.bend as S

1517law start_wide:
1518  for +w: Nat
1519  for +g: T.Grid(T.Seen)
1520  {B.rows_wide(Maybe<&2, Bool>, w, S.start(g)) == B.rows_wide(T.Seen, w, g) : Bool}

Uses (14)

Used by (1)