Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job Opportunity at D-RisQ

view this post on Zulip Email Gateway (Aug 22 2022 at 18:45):

From: Rob Arthan <rda@lemma-one.com>
If the below is of interest please contact Colin (rather than me or the list :-))

Regards,

Rob.

Last updated: Feb 15 2026 at 05:19 UTC