Email Gateway (Aug 19 2022 at 07:55): Email Gateway (Aug 19 2022 at 07:55):From: Lukas Bulwahn <bulwahn@in.tum.de>
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
Last updated: Nov 21 2024 at 12:39 UTC