“Stanford's automated reasoning lab, led by Professor Clark Barrett and supported by DeepMind and AWS, is developing CSLib to formalize undergraduate computer science literature in the Lean language.”