Re: [isabelle] Seeking help on Isabelle



Here are some suggestions for you.

You can download Isabelle (for several platforms) from

    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/download.html

You can download documentation from

    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/documentation.html

You can download papers describing other security-related proofs from

    http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html

I hope you find these useful.

Larry Paulson


On 1 Nov 2005, at 02:31, Israt Jahan wrote:

Sir, If you provide me a complete program on Isabelle and some suggestions to let me know which things I have to read to learn primary steps of Isabelle to run it , it will be very helpful to me to continue my research.






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