Search for blocks/addresses/...
Proofgold Proposition
wceq
cmq
(
cres
(
ccom
cerq
cmpq
)
(
cxp
cnq
cnq
)
)
type
prop
theory
SetMM
name
df_mq
proof
PUc2k..
Megalodon
-
proofgold address
TMa2g..
creator
36396
PrCmT..
/
8df07..
owner
36396
PrCmT..
/
8df07..
term root
fc1af..