Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 . x0 x1 ⟶ ∀ x2 : ο . (∀ x3 . x0 x3 ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
-

proofgold address
TMVNE..

creator
628 Pr4Ru../0db5b..

owner
628 Pr4Ru../0db5b..

term root
8bd75..