Search for blocks/addresses/...

Proofgold Proposition

wceq cunif (cslot (cdc c1 c3))
type
prop
theory
SetMM
name
df_unif
proof
PUWDt..
Megalodon
-
proofgold address
TMS59..
creator
36376 PrCmT../7bc16..
owner
36376 PrCmT../7bc16..
term root
149a8..