Search for blocks/addresses/...
Proofgold Proposition
wceq
c1q
(
cop
c1o
c1o
)
type
prop
theory
SetMM
name
df_1nq
proof
PUc2k..
Megalodon
-
proofgold address
TMYCG..
creator
36396
PrCmT..
/
5d3c8..
owner
36396
PrCmT..
/
5d3c8..
term root
0ac72..