Search for blocks/addresses/...

Proofgold Proposition

wceq cwwlksnon (cmpt2 (λ x0 x1 . cn0) (λ x0 x1 . cvv) (λ x0 x1 . cmpt2 (λ x2 x3 . cfv (cv x1) cvtx) (λ x2 x3 . cfv (cv x1) cvtx) (λ x2 x3 . crab (λ x4 . wa (wceq (cfv cc0 (cv x4)) (cv x2)) (wceq (cfv (cv x0) (cv x4)) (cv x3))) (λ x4 . co (cv x0) (cv x1) cwwlksn))))
type
prop
theory
SetMM
name
df_wwlksnon
proof
PUT3K..
Megalodon
-
proofgold address
TMQ5a..
creator
36378 PrCmT../91ca1..
owner
36378 PrCmT../91ca1..
term root
31315..