Search for blocks/addresses/...
Proofgold Proposition
wceq
c0r
(
cec
(
cop
c1p
c1p
)
cer
)
type
prop
theory
SetMM
name
df_0r
proof
PUd3U..
Megalodon
-
proofgold address
TMbkS..
creator
36397
PrCmT..
/
207ab..
owner
36397
PrCmT..
/
207ab..
term root
4dfb0..