Proofgold Proposition

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

type
prop

theory
HotG

name
dneg

proof
PUL8Q..

Megalodon
dneg

proofgold address
TMRYv..^dneg

creator
4882 Pr6Pc../1044a..

owner
4882 Pr6Pc../1044a..

term root
852f3..