Email Gateway (Apr 06 2021 at 09:12): Email Gateway (Apr 06 2021 at 09:12):From: MACKENZIE Carlin <s1724780@sms.ed.ac.uk>
Dear all,
In November, I sent an email to this mailing list requesting responses to a survey about the Archive of Formal Proofs. I am happy to announce that the results have been formally written up and are available at https://arxiv.org/abs/2104.01052
In short, the participants were generally satisfied with the AFP, however there are specific areas which can be improved. I would like to thank the 30 participants for their feedback, and I hope the results are of interest to the community.
Regards,
Carlin MacKenzie
The University of Edinburgh
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
Last updated: Jan 04 2025 at 20:18 UTC