Search for blocks/addresses/...

Proofgold Proposition

wceq cclwlks (cmpt (λ x0 . cvv) (λ x0 . copab (λ x1 x2 . wa (wbr (cv x1) (cv x2) (cfv (cv x0) cwlks)) (wceq (cfv cc0 (cv x2)) (cfv (cfv (cv x1) chash) (cv x2))))))
type
prop
theory
SetMM
name
df_clwlks
proof
PUT3K..
Megalodon
-
proofgold address
TMVYT..
creator
36378 PrCmT../ac114..
owner
36378 PrCmT../ac114..
term root
67799..