Proofgold Proposition

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

type
prop

theory
HOAS

name
notE

proof
PUcHm..

Megalodon
-

proofgold address
TMZSN..

creator
1745 PrGxv../e123a..

owner
1745 PrGxv../e123a..

term root
23bb7..