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:

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.)


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