Proofgold Proposition

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

type
prop

theory
HF

name
notE

proof
PUgya..

Megalodon
notE

proofgold address
TMP7W..^notE

creator
144 Pr8qe../c1113..

owner
144 Pr8qe../c1113..

term root
da298..