Search for blocks/addresses/...

Proofgold Proposition

MetaCat_terminal_p PtdPred UnaryPredHom struct_id struct_comp (pack_p 1 (λ x0 . True)) (λ x0 . lam (ap x0 0) (λ x1 . 0))
type
prop
theory
HotG
name
-
proof
PUSP5..
Megalodon
-
proofgold address
TMMcR..
creator
11866 PrEBh../58484..
owner
11866 PrEBh../58484..
term root
a5d0a..