Search for blocks/addresses/...

Proofgold Proposition

wceq c1 (cop c1r c0r)
type
prop
theory
SetMM
name
df_1
proof
PUd3U..
Megalodon
-
proofgold address
TMZRV..
creator
36397 PrCmT../58004..
owner
36397 PrCmT../58004..
term root
a0eac..