• 
• Brandon Gomes
• University: Rutgers University-New Brunswick NJ
• Project Summary Page: 980 - Formalizing the Riemann Hypothesis in the Lean Interactive Theorem Prover
• Mentor: Alex Kontorovich
• Mentor Department: Mathematics
• Project Site: https://archive.reu.dimacs.rutgers.edu/2020/bg441/public_html
• Project Site - Original: http://reu.dimacs.rutgers.edu/~bg441
• Personal Site: http://reu.dimacs.rutgers.edu/~bg441/
• Participant Year: 2020