Hi there, Does somebody knows how to round real numbers in order to get a Z number using ProofPower?
Regards, -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
