Proofgold Proposition

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

type
prop

theory
HOAS

name
notI

proof
PUcHm..

Megalodon
-

proofgold address
TMMrd..

creator
1745 PrGxv../cb7bb..

owner
1745 PrGxv../cb7bb..

term root
67ebf..