Search for blocks/addresses/...

Proofgold Proposition

wceq cts (cslot c9)
type
prop
theory
SetMM
name
df_tset
proof
PUWDt..
Megalodon
-
proofgold address
TMMtX..
creator
36376 PrCmT../f69d9..
owner
36376 PrCmT../f69d9..
term root
b10b0..