Proofgold Proposition

∀ x0 x1 : ο . (x1 ⟶ x0) ⟶ or x0 (not x1)

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
orI_imp2

proofgold address
TMTft..^orI_imp2

creator
1149 PrGxv../1990e..

owner
1149 PrGxv../1990e..

term root
b9dfd..