Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . In x2 (binintersect x0 x1)(In x2 x0In x2 x1False)False
type
prop
theory
HF
name
-
proof
PUZM3..
Megalodon
tab_pos_binintersect
proofgold address
TMXo6..tab_pos_binintersect
creator
1446 PrGxv../bf164..
owner
1446 PrGxv../bf164..
term root
8e0ea..