Proofgold Proposition

∀ x0 : ο . or (x0 = True) (x0 = False)

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMNLo..

creator
3137 PrJJf../0d660..

owner
3137 PrJJf../0d660..

term root
2e8f8..