Proofgold Proposition

not (6 = 1)

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
neq_6_1

proofgold address
TMaDm..^neq_6_1

creator
1604 PrGxv../fb0f8..

owner
1604 PrGxv../fb0f8..

term root
1cf2b..