Upload-scripted-pi-callback
De Demostración automática de teoremas (2014-15)
No se pueden cargar archivos que contengan instrucciones de procesamiento en forma de hojas de estilo XML.
No se pueden cargar archivos que contengan instrucciones de procesamiento en forma de hojas de estilo XML.