Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 : ι → ι → ο . ∀ x3 x4 . ∀ x5 x6 : ι → ι . f6435.. x36fe8d.. x0 x1 x2 (d7cf0.. x4 x6) x3(∀ x7 . 6fe8d.. x0 x1 (a603a.. x2 x7 x4) (x5 x7) (x6 x7))6fe8d.. x0 x1 x2 (bcddf.. 236c6.. x5) (d7cf0.. x4 x6)
type
prop
theory
HOAS
name
-
proof
PULLz..
Megalodon
-
proofgold address
TMFiv..
creator
1880 PrGxv../e10de..
owner
1880 PrGxv../e10de..
term root
51080..