Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : ο . not (iff x0 x1)(x0not x1False)(not x0x1False)False
type
prop
theory
HF
name
-
proof
PUUci..
Megalodon
tab_neg_iff
proofgold address
TMVRc..tab_neg_iff
creator
1149 PrGxv../6ab55..
owner
1149 PrGxv../6ab55..
term root
e275a..