Source: /wikibot/large-scale-mathematical-formalization-projects

= Large-scale mathematical formalization projects
{wiki=Category:Large-scale_mathematical_formalization_projects}