Search for blocks/addresses/...

Proofgold Proposition

wceq cmhp (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cmpt (λ x2 . cn0) (λ x2 . crab (λ x3 . wss (co (cv x3) (cfv (cv x1) c0g) csupp) (crab (λ x4 . wceq (csu cn0 (λ x5 . cfv (cv x5) (cv x4))) (cv x2)) (λ x4 . crab (λ x5 . wcel (cima (ccnv (cv x5)) cn) cfn) (λ x5 . co cn0 (cv x0) cmap)))) (λ x3 . cfv (co (cv x0) (cv x1) cmpl) cbs))))
type
prop
theory
SetMM
name
df_mhp
proof
PUVCn..
Megalodon
-
proofgold address
TMGRR..
creator
36385 PrCmT../88397..
owner
36385 PrCmT../88397..
term root
b7235..