Re: [isabelle] A course based on Isabelle/HOL and some feedback...



On Sat, 28 Apr 2012, Makarius wrote:

I am giving a 2-day Isabelle/HOL tutorial in 2 weeks at Paris Sud

Just for the record, this is the website: http://www.lri.fr/~wenzel/Isabelle_Orsay_2012

If anybody in the area wants to participate, or knows someone who might be interested, feel free to contact me via email. (Although we are already close to being overbooked.)


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.