Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ι . ∀ x3 : ι → ι → ι → ι . ∀ x4 : ι → ι → ι → ι → ι . ∀ x5 : ι → ι → ι → ι → ι → ο . ∀ x6 : ι → ι → ι → ι → ι → ι . ∀ x7 . prim1 x7 x0∀ x8 . prim1 x8 (x1 x7)∀ x9 . prim1 x9 (x2 x7 x8)∀ x10 . prim1 x10 (x3 x7 x8 x9)∀ x11 . prim1 x11 (x4 x7 x8 x9 x10)x5 x7 x8 x9 x10 x11prim1 (x6 x7 x8 x9 x10 x11) (2aab0.. x0 x1 x2 x3 x4 x5 x6)
type
prop
theory
HoTg
name
-
proof
PUdeW..
Megalodon
-
proofgold address
TMQpt..
creator
1652 PrGxv../f8178..
owner
1652 PrGxv../f8178..
term root
49096..