Search for blocks/addresses/...

Proofgold Proposition

wceq ccusgr (cin cusgr ccplgr)
type
prop
theory
SetMM
name
df_cusgr
proof
PUTey..
Megalodon
-
proofgold address
TMQjc..
creator
36383 PrCmT../56780..
owner
36383 PrCmT../56780..
term root
473ae..