Search for blocks/addresses/...

Proofgold Proposition

MetaCat struct_b_b_e_e Hom_b_b_e_e struct_id struct_comp
type
prop
theory
HotG
name
-
proof
PUKoR..
Megalodon
MetaCat_struct_b_b_e_e
proofgold address
TMQKo..MetaCat_struct_b_b_e_e
creator
9852 PrCx1../cedad..
owner
9852 PrCx1../cedad..
term root
feeda..