Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : (ι → ο) → ο . λ x2 : ι → ι . λ x3 . lam 4 (λ x4 . If_i (x4 = 0) x0 (If_i (x4 = 1) (encode_c x0 x1) (If_i (x4 = 2) (lam x0 x2) x3)))
type
ι((ιο) → ο) → (ιι) → ιι
theory
HotG
name
pack_c_u_e
definition
PUZD8..
Megalodon
-
proofgold address
TMGxx..
creator
4922 Pr6Pc../11d87..
owner
4922 Pr6Pc../11d87..
term root
d0bcd..