Search for blocks/addresses/...

Proofgold Term Root Disambiguation

MetaCat_terminal_p 90aea.. BinRelnHom struct_id struct_comp (pack_r 0 (λ x0 x1 . False)) (λ x0 . 0)

as obj
-

as prop
dd155..

theory
HotG

stx
d67ca..

address
TMNAe..