www.cmu.edu

Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College - News - Carnegie Mellon University

Center aims to improve global access to mathematics, improve the power of computational proof-assistants, and increase collaboration among educators, researchers, learners.