Proofgold Proposition

∀ x0 : ο . or x0 (not x0)

type
prop

theory
HoTg

name
xm

proof
PUdeW..

Megalodon
-

proofgold address
TMdQL..

creator
1652 PrGxv../7d1ee..

owner
1652 PrGxv../7d1ee..

term root
62e4c..