[isabelle-dev] I'm a new Isabelle User!
lp15 at cam.ac.uk
Fri Jul 24 11:57:42 CEST 2009
I hope you do join the Isabelle users's mailing list, as I suggested
in my previous message. However, I do not recommend that you join the
list for developers.
On 22 Jul 2009, at 10:29, patrick dabou wrote:
> my name is Nounamo Dabou Patrick, i'm student in the university of
> Ngaoundéré-Cameroon, and i'm doing master 2 in compter science. I've
> choose my topic of reaserch in Isabelle generic prover as an tool to
> prove and correct software.i'm a new isabelle user and i want to
> register my self in international Isabelle Users, participate and
> discuss problems and results.
> please i'm waiting for the response of my mail, because i want to
> use Isabelle to demontrate the correctness of software.
> thank you for all.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev