Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job: Lectureship in Computer Science at Liverp...

view this post on Zulip Email Gateway (Aug 18 2022 at 11:08):

From: Michael Fisher <MFisher@liverpool.ac.uk>
[Please forward this advertisement to anyone you think may
be interested. Thanks ]
lect_advt07.txt

Last updated: Jul 26 2025 at 08:28 UTC