Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → ο . ∃ x2 . and (∀ x4 . iff (x1 x4) (prim1 x4 x2)) (prim1 x2 x0)
type
ι(ιο) → ο
theory
HoTg
name
decode_c
definition
PUTo6..
Megalodon
-
proofgold address
TMQkp..
creator
2774 PrGxv../5a7b2..
owner
2774 PrGxv../5a7b2..
term root
47a1e..