Apihelp-paraminfo-param-modules
De Demostración automática de teoremas (2014-15)
Lista de los nombres de los módulos (valores de los parámetros action y format o main). Se pueden especificar submódulos con un +, todos los submódulos con +* o todos los submódulos recursivamente con +**.