Search for blocks/addresses/...

Proofgold Proposition

wceq ceu (cfv c1 ce)
type
prop
theory
SetMM
name
df_e
proof
PUQy1..
Megalodon
-
proofgold address
TMdkg..
creator
36378 PrCmT../ab715..
owner
36378 PrCmT../ab715..
term root
c5987..