Search for blocks/addresses/...

Proofgold Proposition

wceq csymrels (cin csyms crels)
type
prop
theory
SetMM
name
df_symrels
proof
PUZD6..
Megalodon
-
proofgold address
TMKMC..
creator
36376 PrCmT../3ce7a..
owner
36376 PrCmT../3ce7a..
term root
3225f..