Proofgold Proposition

not (9 = 8)

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
neq_9_8

proofgold address
TMTrm..^neq_9_8

creator
1604 PrGxv../1c5e0..

owner
1604 PrGxv../1c5e0..

term root
2f0cd..