• Proof Assistant Makes Jump to Big-League Math

  Quanta Magazine • July 28, 2021

• Building the Mathematical Library of the Future

  Quanta Magazine • October 1, 2020

• At the Math Olympiad, Computers Prepare to Go for the Gold

  Quanta Magazine • September 21, 2020

• Landmark Computer Science Proof Cascades Through Physics and Math

  Quanta Magazine • March 4, 2020