Search for blocks/addresses/...
Proofgold Object
λ x0 .
Church17_to_u17
(
Church17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12
(
u17_to_Church17
x0
)
)
type
ι
→
ι
theory
HotG
name
u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12
definition
PUXqr..
Megalodon
-
proofgold address
TMNRm..
creator
19221
Pr4zB..
/
a8ca7..
owner
19221
Pr4zB..
/
a8ca7..
term root
c1227..