Search for blocks/addresses/...

Proofgold Object

λ x0 . ∀ x1 : ι → ο . x1 c4def..(∀ x2 x3 . x1 x2x1 x3x1 (6b90c.. x2 x3))x1 c9248..(∀ x2 . x1 x2x1 (a6e19.. x2))(∀ x2 . x1 x2x1 (2fe34.. x2))(∀ x2 x3 . x1 x2x1 x3x1 (3e00e.. x2 x3))(∀ x2 x3 . x1 x2x1 x3x1 (f9341.. x2 x3))(∀ x2 . x1 x2x1 (1fa6d.. x2))(∀ x2 . x1 x2x1 (3a365.. x2))x1 x0
type
ιο
theory
HOAS
name
-
definition
PUSb6..
Megalodon
-
proofgold address
TMHqw..
creator
2059 PrGxv../c11d7..
owner
2059 PrGxv../c11d7..
term root
fdbc8..