Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
contra

proofgold address
TMPyw..^contra

creator
1149 PrGxv../20de7..

owner
1149 PrGxv../20de7..

term root
b777a..