Search for blocks/addresses/...

Proofgold Proposition

MetaCat_terminal_p struct_p 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
TMbwp..
creator
11866 PrEBh../d4395..
owner
11866 PrEBh../d4395..
term root
a1fc1..