Proofgold Proposition

∀ x0 . In x0 0 ⟶ False

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
EmptyE

proofgold address
TMaXU..^EmptyE

creator
628 Pr4Ru../9901c..

owner
628 Pr4Ru../9901c..

term root
1cc88..