Search for blocks/addresses/...

Proofgold Proposition

wceq carchi (cab (λ x0 . wceq (cfv (cv x0) cinftm) c0))
type
prop
theory
SetMM
name
df_archi
proof
PUeuA..
Megalodon
-
proofgold address
TMUgS..
creator
36386 PrCmT../fcf50..
owner
36386 PrCmT../fcf50..
term root
7f949..