Search for blocks/addresses/...

Proofgold Proposition

wceq ci (cop c0r c1r)
type
prop
theory
SetMM
name
df_i
proof
PUd3U..
Megalodon
-
proofgold address
TMTNY..
creator
36397 PrCmT../e755e..
owner
36397 PrCmT../e755e..
term root
ec254..