Search for blocks/addresses/...

Proofgold Proposition

wceq clng (cslot (cdc c1 c7))
type
prop
theory
SetMM
name
df_lng
proof
PUbnn..
Megalodon
-
proofgold address
TMUbS..
creator
36388 PrCmT../d811e..
owner
36388 PrCmT../d811e..
term root
4639c..