Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
dnegI

proofgold address
TMXbW..^dnegI

creator
1149 PrGxv../9a345..

owner
1149 PrGxv../9a345..

term root
b6f32..