Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
Skolem_1

proofgold address
TMVb2..^Skolem_1

creator
1627 PrGxv../55fc5..

owner
1627 PrGxv../55fc5..

term root
eac15..