Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Results — Survey on the AFP


view this post on Zulip 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: Sep 25 2021 at 09:17 UTC