Proofgold Proposition

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

type
prop

theory
HoTg

name
dneg

proof
PUUEj..

Megalodon
-

proofgold address
TMNtw..

creator
2699 PrGxv../5adf8..

owner
2699 PrGxv../5adf8..

term root
852f3..