[isabelle] Some more project announcements



Hi,

motivated by Brian's announcement about their sourceforge project, I added another wikipage

https://isabelle.in.tum.de/community/Other_Work_in_Progress

to announce other (student) projects I am involved in---mainly to document their existence.
You are welcome to add your (student) projects as well.

Lukas





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