Source: wikibot/large-scale-mathematical-formalization-projects
= Large-scale mathematical formalization projects
{wiki=Category:Large-scale_mathematical_formalization_projects}
= Large-scale mathematical formalization projects
{wiki=Category:Large-scale_mathematical_formalization_projects}