The tutorial for the HOL-Omega system is still in process, but there is now
available a teaser for the tutorial. This is essentially one chapter of the
tutorial, giving a series of examples that in a light way briefly
demonstrate the essential new features of the logic.
http://www.trustworthytools.com/holw/teaser.pdf
This is also available through the normal HOL-Omega web page, at
http://www.trustworthytools.com/id17.html
All questions and comments are warmly welcome.
Peter
--
"In Your majesty ride prosperously
because of truth, humility, and righteousness;
and Your right hand shall teach You awesome things." (Psalm 45:4)
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info