[isabelle-dev] I'm a new Isabelle User!

Lawrence Paulson 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.
Larry Paulson

On 22 Jul 2009, at 10:29, patrick dabou wrote:

> hi!
> 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...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20090724/21d1671b/attachment.html>

More information about the isabelle-dev mailing list