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