[isabelle] Some more project announcements
- To: isabelle-users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Some more project announcements
- From: Lukas Bulwahn <bulwahn at in.tum.de>
- Date: Thu, 26 Jul 2012 09:20:41 +0200
- User-agent: Mozilla/5.0 (X11; Linux i686; rv:12.0) Gecko/20120430 Thunderbird/12.0.1
motivated by Brian's announcement about their sourceforge project, I
added another wikipage
to announce other (student) projects I am involved in---mainly to
document their existence.
You are welcome to add your (student) projects as well.
This archive was generated by a fusion of
Pipermail (Mailman edition) and