Title: Increasing User Engagement on the Archive of Formal Proofs
Speaker: Carlin Mackenzie
The first part of this project focused on creating a strong foundation for future development on the Archive of Formal Proofs. We now add features which encourage community growth. For example, the addition of comments allows people to discuss entries and user profiles allow people to both express themselves and see statistics about their entries. Our next steps are to evaluate our additional features with users of the AFP.