Proofgold Proposition

∀ x0 x1 x2 x3 . x0 = x1 ⟶ not (x2 = x3) ⟶ (not (x0 = x2) ⟶ not (x1 = x2) ⟶ False) ⟶ (not (x0 = x3) ⟶ not (x1 = x3) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_confront

proofgold address
TMc7n..^tab_confront

creator
1149 PrGxv../cb9bd..

owner
1149 PrGxv../cb9bd..

term root
de354..