Proofgold Proposition

not (1 = 0)

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
neq_1_0

proofgold address
TMTu2..^neq_1_0

creator
1473 PrGxv../326c4..

owner
1473 PrGxv../326c4..

term root
698eb..