Search for blocks/addresses/...

Proofgold Proposition

wceq cplq (cres (ccom cerq cplpq) (cxp cnq cnq))
type
prop
theory
SetMM
name
df_plq
proof
PUc2k..
Megalodon
-
proofgold address
TMbaS..
creator
36396 PrCmT../9bed7..
owner
36396 PrCmT../9bed7..
term root
da69e..