Re: [isabelle] IMP Program
How about the bisection method to compute sqrt(x).
Perhaps extend IMP with multiplication/division first.
On Fr, 2014-11-07 at 16:17 +0100, mahmoud abdelazim wrote:
> I need an interesting IMP program to prove it correct using Hoare logic in Isabelle.
> And this program must be interesting and non so complicated because i need it for my essay and i don’t have so much i have around one month left .
> If any one can provide with an idea or something i will be grateful
This archive was generated by a fusion of
Pipermail (Mailman edition) and