Category talk:Large-scale mathematical formalization projects
 | This category does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
Start a discussion about improving the Category:Large-scale mathematical formalization projects page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Category:Large-scale mathematical formalization projects" page.
