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 <>
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

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.

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