Todos los registros públicos
Vista combinada de todos los registros de Demostración automática de teoremas (2014-15). 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.
- 12:06 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 141 de la página Tema 11: Métodos de demostración. como verificada