Proofgold Proposition

∀ x0 : ο . (x0 ⟶ False) ⟶ not x0

type
prop

theory
HoTg

name
notI

proof
PUdeW..

Megalodon
-

proofgold address
TMcEd..

creator
1652 PrGxv../0efb3..

owner
1652 PrGxv../0efb3..

term root
67ebf..