The Center and its Mission
Established in September 2021 by a gift from Charles Hoskinson, the Hoskinson Center for Formal Mathematics at Â鶹¹ÙÍø is dedicated to the use of formal computational methods and new technologies for mathematical research and education.