Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Survey on the AFP

view this post on Zulip Email Gateway (Nov 11 2020 at 09:59):

From: MACKENZIE Carlin <>
Dear all,

I am a researcher from the University of Edinburgh and it would be appreciated if you could complete the following survey by November 30th

It concerns the Archive of Formal Proofs website and will take 10-20 minutes to complete. Your answers will help guide my research in evaluating the AFP, by informing me of the needs of Isabelle users.

All data collected is anonymised, unless contact information is provided at the end of the survey. Data will only be used for research purposes and will be deleted after the project is completed in June 2021.

Thank you,
Carlin MacKenzie
The University of Edinburgh
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

Last updated: Jul 15 2022 at 23:21 UTC