Search for blocks/addresses/...

Proofgold Proposition

MetaCat struct_p UnaryPredHom struct_id struct_comp
type
prop
theory
HotG
name
-
proof
PUKoR..
Megalodon
MetaCat_struct_p
proofgold address
TMQkS..MetaCat_struct_p
creator
9852 PrCx1../1262f..
owner
9852 PrCx1../1262f..
term root
edb0b..