Search for blocks/addresses/...

Proofgold Proposition

wceq cnp (cab (λ x0 . wa (wa (wpss c0 (cv x0)) (wpss (cv x0) cnq)) (wral (λ x1 . wa (∀ x2 . wbr (cv x2) (cv x1) cltqwcel (cv x2) (cv x0)) (wrex (λ x2 . wbr (cv x1) (cv x2) cltq) (λ x2 . cv x0))) (λ x1 . cv x0))))
type
prop
theory
SetMM
name
df_np
proof
PUc2k..
Megalodon
-
proofgold address
TMWwZ..
creator
36396 PrCmT../d6ed1..
owner
36396 PrCmT../d6ed1..
term root
3a69b..