Closed hdavid16 closed 1 year ago
this fails:
@proposition(ngdp, ¬(ngdp[Symbol("Y_$i")][1]) ⇒ ¬(ngdp[Symbol("N_$(i)_$t")][1])) ERROR: AssertionError: Logical expression does not use valid Boolean symbols: ∨, ∧, ¬, ⇒, ⇔.
this fails: