Search for blocks/addresses/...

Proofgold Proposition

wceq chash (cun (ccom (cres (crdg (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) c1 caddc)) cc0) com) ccrd) (cxp (cdif cvv cfn) (csn cpnf)))
type
prop
theory
SetMM
name
df_hash
proof
PUgqy..
Megalodon
-
proofgold address
TMbxQ..
creator
36396 PrCmT../925cb..
owner
36396 PrCmT../925cb..
term root
d1d79..