Search for blocks/addresses/...
Proofgold Term Root Disambiguation
MetaCat
struct_b
MagmaHom
struct_id
struct_comp
as obj
-
as prop
c55c1..
MetaCat_struct_b
theory
HotG
stx
4f88b..
address
TMXoD..
MetaCat_struct_b