• 
• Archana Mohandas
• University: Massachusetts Institute of Technology MA
• Project Summary Page: Proving Descartes Theorem in Lean
• Mentor: Alex Kontorovich
• Mentor Department: Mathematics
• Project Site: https://archive.reu.dimacs.rutgers.edu/2022/am3374/public_html
• Participant Year: 2022