Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final Deadline - Survey on the AFP

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

From: MACKENZIE Carlin <>
Dear all,

Firstly, thank you to those of you who have already completed the survey. If you have not already, today is the last day to complete it:

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: Dec 08 2021 at 09:20 UTC