Re: [isabelle] Seeking for help in learning Isabelle



You can ask any question immediately on stackoverflow

http://stackoverflow.com/questions/tagged/isabelle

2013/4/24 Karthick Vellingiri <karthick_v at outlook.com>:
>
>
>
>
>
> Sir,   I am Karthick doing my M.Sc Software Engineering in PSG College of Technology, India. I am interested in learning Isabelle but since i am newbie to this, i don't know where to start with. I kindly request you to guide me in learning Isabelle.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.