~/jendhub

law hidden_eq

minebender-game@1.0.0.0 · proof_copy.bend:267

import minebender-game@1.0.0.0/proof_copy.bend as ProofCopy
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G
import minebender-game@1.0.0.0/LAWS.bend as L

267law hidden_eq:
268  for +v: T.Knowledge
269  for +p: T.Pos
270  {G.hidden(v, p) == L.hidden(v, p) : Bool}

Uses (10)

Used by (1)