Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . x0 = x1not (x2 = x3)(not (x0 = x2)not (x1 = x2)False)(not (x0 = x3)not (x1 = x3)False)False
as obj
-
as prop
2b3a3..tab_confront
theory
HF
stx
36a0a..
address
TMRpY..tab_confront