Dear HOL users and developers, I will endeavour to organise a workshop for HOL, to be co-located with ITP 2016 (France, end of August).
Before planning the details, I want to ask you: what kind of workshop would serve you best? Please send me any requests or comments, and together we can use this opportunity to create an event of high value. (Early replies appreciated; at some point decisions must be made.) Cheers, Ramana
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info