#### PR Newswire: Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College

PR Newswire: Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College. “The Hoskinson Center will develop the technology (via the Lean platform) and techniques needed to increase world-wide access to the power of formal mathematics. The center will support the development of Lean’s digital library, develop new tools to help convert mathematical statements from natural language to a formal language, and create educational resources to make these tools widely available. Used widely, these tools have the potential to super-charge mathematics, which in turn has the power to super-charge computer science, physics and any other discipline that uses mathematics.”