Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research position —- University of Melbourne

Email Gateway (Aug 22 2022 at 15:30):

From: Lawrence Paulson <lp15@cam.ac.uk>
Details at the following link:

http://people.eng.unimelb.edu.au/tobym/researcher17.html

Larry Paulson

Last updated: Feb 15 2026 at 05:19 UTC