to work you would need the signature
of NewState to be the same as for State.
Is there any other solution for my problem?
Thanks,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo
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
] * raised
Is everything fine?
Artur
2009/3/24 Roger Bishop Jones r...@rbjones.com
Artur,
On Tuesday 24 March 2009 10:35:51 Artur Oliveira Gomes wrote:
The problem is: only for those cases,
what I choose as witness does not satisfy the predicate.
Well, any sequence of length 1 (or zero
Hi there
Now I know how to prove it: using z_R_=_conv.
Thanks anyway,
Artur
2009/3/25 Artur Oliveira Gomes artur.o.go...@gmail.com
Hi there,
How could I prove that given two real numbers, 20 and 30, that 20 =40?
Moreover, given three real numbers, 20, 30 and 40,
how could I prove that 30
%%down%R 0.4 %and% 0.4 %leq%%down%R 1.9%%
How can I prove it?
Thanks again.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
not occur due to the parenthesis in the LHS.
Does anyone know what should I do to solve this problem?
Cheers,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
/proofpower_lemma-one.com
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
problems with the palette, send us an email. ;)
Cheers,
--
Artur Oliveira Gomes
Professor - Sistemas de Informação
Universidade Federal do Mato Grosso do Sul
On 10 May 2013 08:18, Roger Bishop Jones r...@rbjones.com wrote:
Further to my last, this is what I did before building on Ubuntu 12.04