Search for blocks/addresses/...

Proofgold Term Root Disambiguation

not (5 = 3)
as obj
-
as prop
ab3a6..neq_5_3
theory
HF
stx
82de5..
address
TMWAV..neq_5_3