Proofgold Proposition

not (2 = 0)

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
neq_2_0

proofgold address
TMcWV..^neq_2_0

creator
1473 PrGxv../f428e..

owner
1473 PrGxv../f428e..

term root
47a02..