From: MACKENZIE Carlin <firstname.lastname@example.org>
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.
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: Sep 25 2021 at 09:17 UTC