From: MACKENZIE Carlin <email@example.com>
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.
The University of Edinburgh
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
Last updated: Sep 25 2021 at 09:17 UTC