Search for blocks/addresses/...
Proofgold Proposition
wceq
c1r
(
cec
(
cop
(
co
c1p
c1p
cpp
)
c1p
)
cer
)
type
prop
theory
SetMM
name
df_1r
proof
PUd3U..
Megalodon
-
proofgold address
TMT9L..
creator
36397
PrCmT..
/
f1f6a..
owner
36397
PrCmT..
/
f1f6a..
term root
6d788..