Search for blocks/addresses/...

Proofgold Proposition

MetaCat_terminal_p 90aea.. BinRelnHom struct_id struct_comp (pack_r 0 (λ x0 x1 . False)) (λ x0 . 0)
type
prop
theory
HotG
name
-
proof
PUMZ2..
Megalodon
-
proofgold address
TMXTX..
creator
11302 PrEBh../0cbcb..
owner
11302 PrEBh../0cbcb..
term root
51466..