Search for blocks/addresses/...

Proofgold Proposition

wceq cmvar (cslot c2)
type
prop
theory
SetMM
name
df_mvar
proof
PUNz5..
Megalodon
-
proofgold address
TMLz2..
creator
36386 PrCmT../63f8b..
owner
36386 PrCmT../63f8b..
term root
6b3b7..