Lean(ing over)

The UW Math Department has a “Math AI” lab that links students with research projects. It uses the computer-assisted proof language Lean quite a bit and seems like a great research opportunity to incorporate the math I’m learning in classes. This win...