Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
notI

proofgold address
TMJKR..^notI

creator
316 Pr8qe../b303a..

owner
316 Pr8qe../b303a..

term root
e284d..