~/jendhub

law inv_chord

minebender-game@1.0.0.0 · proof_inv.bend:759

import minebender-game@1.0.0.0/proof_inv.bend as ProofInv
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G

759law inv_chord:
760  for +w: Nat
761  for +h: Nat
762  for +layout: T.Grid(Bool)
763  for +ts: List<&2, T.Pos>
764  for +g: G.Game
765  for inv: Inv(w, h, layout, g)
766  Inv(w, h, layout, G.chord_play(ts, g))

Uses (10)

Used by (1)