Search for blocks/addresses/...

Proofgold Object

lam 2 (λ x0 . ap (ap 90e5f.. x0) 497c5..)
type
ι
theory
HotG
name
-
definition
PUZw1..
Megalodon
-
proofgold address
TMFBi..
creator
48789 PrMzh../dc4b7..
owner
48789 PrMzh../dc4b7..
term root
81b4d..