Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Vampire Postdoc in Manchester

view this post on Zulip Email Gateway (Aug 22 2022 at 21:06):

From: Lawrence Paulson <lp15@cam.ac.uk>
The attached job advertisement may be of interest.
Larry

Last updated: Apr 26 2026 at 09:04 UTC