The Center and its Mission
Established in September 2021 by a gift from Charles Hoskinson, the Hoskinson Center for Formal Mathematics at Carnegie Mellon University is dedicated to the use of formal computational methods and new technologies for mathematical research and education.