Category:Large-scale mathematical formalization projects (Q8583104)
Jump to navigation
Jump to search
Wikimedia category
Language | Label | Description | Also known as |
---|---|---|---|
English | Category:Large-scale mathematical formalization projects |
Wikimedia category |