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.