Search for blocks/addresses/...

Proofgold Proposition

wceq cpthson (cmpt (λ x0 . cvv) (λ x0 . cmpt2 (λ x1 x2 . cfv (cv x0) cvtx) (λ x1 x2 . cfv (cv x0) cvtx) (λ x1 x2 . copab (λ x3 x4 . wa (wbr (cv x3) (cv x4) (co (cv x1) (cv x2) (cfv (cv x0) ctrlson))) (wbr (cv x3) (cv x4) (cfv (cv x0) cpths))))))
type
prop
theory
SetMM
name
df_pthson
proof
PUT3K..
Megalodon
-
proofgold address
TMTYP..
creator
36378 PrCmT../301c6..
owner
36378 PrCmT../301c6..
term root
135d0..