Search for blocks/addresses/...

Proofgold Proposition

wceq c1o (csuc c0)
type
prop
theory
SetMM
name
df_1o
proof
PUR6R..
Megalodon
-
proofgold address
TMMHf..
creator
36396 PrCmT../36a63..
owner
36396 PrCmT../36a63..
term root
38a30..