Re: [Hol-info] Gathering references for a simple tutorial of HOL4

Hello Ramana, thanks for the encouragement! I did not know Myreen's guide: thanks a lot! Bye, Andrea On 30/01/14 17:05, Ramana Kumar wrote: This is a great idea, I'm glad you are planning to write something. Two resources that come to mind are the existing HOL4 Tutorial that comes with the

Re: [Hol-info] Gathering references for a simple tutorial of HOL4

Hi Konrad, On 30/01/14 16:48, Konrad Slind wrote: There is already some material of this sort. See http://hol.sourceforge.net/documentation.html indeed I am studying Hol on those documents. I would like to propose something, let us say... more colloquial (not less precise however). The idea

Re: [Hol-info] Gathering references for a simple tutorial of HOL4

There is already some material of this sort. See http://hol.sourceforge.net/documentation.html If you write more such introductory material, please let us know. Thanks, Konrad. On Wed, Jan 29, 2014 at 7:20 AM, Andrea ag...@leicester.ac.uk wrote: Dear all, I am planning to write and