Proofgold Proposition

∀ x0 : ι → ο . not (∀ x1 . x0 x1) ⟶ (∀ x1 . not (x0 x1) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_neg_all_i

proofgold address
TMMHq..^{tab_neg_all_i}

creator
1149 PrGxv../879c4..

owner
1149 PrGxv../879c4..

term root
7571e..