Search for blocks/addresses/...

Proofgold Proposition

wceq cidp (cres cid cc)
type
prop
theory
SetMM
name
df_idp
proof
PUhRH..
Megalodon
-
proofgold address
TMNvm..
creator
36386 PrCmT../55f58..
owner
36386 PrCmT../55f58..
term root
dcd26..