Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 : ο . x0 ⟶ x1 ⟶ x2 ⟶ x3 ⟶ x4 ⟶ x5 ⟶ x6 ⟶ x7 ⟶ x8 ⟶ x9 ⟶ x10 ⟶ x11 ⟶ x12 ⟶ x13 ⟶ and (and (and (and (and (and (and (and (and (and (and (and (and x0 x1) x2) x3) x4) x5) x6) x7) x8) x9) x10) x11) x12) x13

type
prop

theory
HotG

name
-

proof
PUWFm..

Megalodon
-

proofgold address
TMU4k..

creator
9342 PrGxv../ce317..

owner
9342 PrGxv../ce317..

term root
73ee6..