Proofgold Proposition

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

type
prop

theory
HotG

name
notE

proof
PUL8Q..

Megalodon
notE

proofgold address
TMe11..^notE

creator
4882 Pr6Pc../32db6..

owner
4882 Pr6Pc../32db6..

term root
23bb7..