Proofgold Proposition

∀ x0 : ο . or x0 (not x0)

type
prop

theory
HotG

name
xm

proof
PUL8Q..

Megalodon
xm

proofgold address
TMMPz..^xm

creator
4882 Pr6Pc../9a3b8..

owner
4882 Pr6Pc../9a3b8..

term root
62e4c..