Todos los registros públicos
Vista combinada de todos los registros de Razonamiento automático (2015-16). 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.
- 13:53 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL como verificada