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

[Konrad S. <kon...@gm...>]

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...@le...> 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
> hol...@li...
> https://lists.sourceforge.net/lists/listinfo/hol-info
>