Search for blocks/addresses/...

Proofgold Proposition

wceq cppi (cmpt (λ x0 . cr) (λ x0 . cfv (cin (co cc0 (cv x0) cicc) cprime) chash))
type
prop
theory
SetMM
name
df_ppi
proof
PUbnn..
Megalodon
-
proofgold address
TMTue..
creator
36388 PrCmT../5a0c2..
owner
36388 PrCmT../5a0c2..
term root
bb854..