Diferencia entre revisiones de «Mainpage»
De DAO con Coq
m (Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir) |
|||
| (No se muestran 2 ediciones intermedias del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
| − | + | Demostración Asistida por Ordenador con Coq | |
Revisión actual del 12:42 3 ago 2018
Demostración Asistida por Ordenador con Coq