Proofgold Proposition

∀ x0 x1 x2 x3 : ο . or (or (or x0 x1) x2) x3 ⟶ ∀ x4 : ο . (x0 ⟶ x4) ⟶ (x1 ⟶ x4) ⟶ (x2 ⟶ x4) ⟶ (x3 ⟶ x4) ⟶ x4

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
or4E

proofgold address
TMRhb..^or4E

creator
1446 PrGxv../0092c..

owner
1446 PrGxv../0092c..

term root
f8055..