Proofgold Proposition

not (5 = 3)

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
neq_5_3

proofgold address
TMVfs..^neq_5_3

creator
1604 PrGxv../8aefd..

owner
1604 PrGxv../8aefd..

term root
3c68f..