Search for blocks/addresses/...
Proofgold Proposition
wceq
csca
(
cslot
c5
)
type
prop
theory
SetMM
name
df_sca
proof
PUWDt..
Megalodon
-
proofgold address
TMYUB..
creator
36376
PrCmT..
/
835a6..
owner
36376
PrCmT..
/
835a6..
term root
6c88c..