• 
• Emma Hasson
• University: Bard College at Simon's Rock MA
• Project Summary Page: 978 - Formalizing Elementary Analytic Number Theory in Lean
• Mentor: Alex Kontorovich
• Mentor Department: Mathematics
• Project Site: https://archive.reu.dimacs.rutgers.edu/2022/eh593/public_html
• Project Site - Original: http://reu.dimacs.rutgers.edu/~eh593
• Personal Site: http://reu.dimacs.rutgers.edu/~eh593/
• Participant Year: 2022