4 of 5 for June 26, 2020

Nicholas and his project mates present for the finale of Illinois Geometry Lab's summer program pairing graduate students with Uni High students. The 4 high schoolers worked on writing a program in LEAN that could prove geometric proofs. Other teams worked on game theory, graphing and the like.