Search for blocks/addresses/...

Proofgold Proposition

wceq cc0 (cop c0r c0r)
type
prop
theory
SetMM
name
df_0
proof
PUd3U..
Megalodon
-
proofgold address
TMQqC..
creator
36397 PrCmT../d6c07..
owner
36397 PrCmT../d6c07..
term root
ca3f3..