Search for blocks/addresses/...

Proofgold Proposition

wceq c8 (co c7 c1 caddc)
type
prop
theory
SetMM
name
df_8
proof
PUSmC..
Megalodon
-
proofgold address
TMa2y..
creator
36397 PrCmT../fcf93..
owner
36397 PrCmT../fcf93..
term root
e6aa0..