Hi there, I'm having hard times to achieve some proofs of preciondition and initialization using ProofPower. The file attached contains 3 examples that I still can not prove. If anyone could help me out with those proofs, I will be thankful.
Best, -- Artur Oliveira Gomes
examples.doc
Description: MS-Word document
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
