Apihelp-phpfm-summary
De Demostración automática de teoremas (2014-15)
Producir los datos de salida en formato PHP serializado (con resaltado sintáctico en HTML).
Producir los datos de salida en formato PHP serializado (con resaltado sintáctico en HTML).