Search for blocks/addresses/...

Proofgold Proposition

MetaCat_terminal_p struct_u UnaryFuncHom struct_id struct_comp (pack_u 1 (λ x0 . 0)) (λ x0 . lam (ap x0 0) (λ x1 . 0))
type
prop
theory
HotG
name
-
proof
PUe8q..
Megalodon
-
proofgold address
TMc91..
creator
35047 PrHS6../cc2de..
owner
35047 PrHS6../cc2de..
term root
f6eb0..