Christian Pardillo Laursen (Jan 10 2025 at 12:38): Christian Pardillo Laursen (Jan 10 2025 at 12:38):Dear Isabelle Community,
I sent out this announcement on the mailing list, but putting it here too in hopes of getting more eyes.
We have two undergraduate students in the Computer Science department at the University of York who are doing final year projects on creation of a package manager for Isabelle/HOL. The package manager is envisioned to complement the AFP and streamline Isabelle-based development lifecycles. As part of their methodology, they would like to survey the Isabelle community to gather requirements and preferences for the development.
We'd be very grateful if you can therefore fill out the following survey: https://york.qualtrics.com/jfe/form/SV_eUKMk2amXlWBsmq. May we please ask you to only reply via the survey link, rather than by email. Thank you for your help with this.
Best regards,
Christian Pardillo Laursen
Last updated: Feb 01 2025 at 20:19 UTC