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 distribution (I presume you already saw this?), and also Magnus Myreen's guide http://www.cl.cam.ac.uk/~mom22/HOL-interaction.pdf.
On Wed, Jan 29, 2014 at 8:20 AM, Andrea <[email protected]> wrote: > Dear all, > > I am planning to write and publish a brief Hol4 tutorial for those (as > me a couple of months ago) who > are completely ignorant about this genre of tools. > The aim is to make this technology more accessible to newcomers. > > Do you know if there exist already resources of this genres? > Could you propose me valid references on which I can rely on? > Thanks a lot, > > Andrea Giugliano > > ------------------------------------------------------------------------------ > WatchGuard Dimension instantly turns raw network data into actionable > security intelligence. It gives you real-time visual feedback on key > security issues and trends. Skip the complicated setup - simply import > a virtual appliance and go from zero to informed in seconds. > http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ WatchGuard Dimension instantly turns raw network data into actionable security intelligence. It gives you real-time visual feedback on key security issues and trends. Skip the complicated setup - simply import a virtual appliance and go from zero to informed in seconds. http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
