Proofgold Proposition

or = λ x1 x2 : ο . not (and (not x1) (not x2))

type
prop

theory
HotG

name
eq_or_nand

proof
PUQ2Y..

Megalodon
eq_or_nand

proofgold address
TMd6M..^eq_or_nand

creator
4903 Pr6Pc../2b224..

owner
4903 Pr6Pc../2b224..

term root
24ac2..