Search for blocks/addresses/...

Proofgold Term Root Disambiguation

MetaCat_terminal_p 8b17e.. BinRelnHom struct_id struct_comp (pack_r 0 (λ x0 x1 . False)) (λ x0 . 0)

as obj
-

as prop
71659..

theory
HotG

stx
d67ca..

address
TMbgV..