Vista combinada de todos los registros de Razonamiento automático (2017-18). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 08:50 9 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 115 de la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL como verificada