Diferencia entre revisiones de «Mainpage»
De DAO con Coq
m (Jalonso trasladó la página MediaWiki:Mainpage a MediaWiki:Demostración Asistida por Ordenador con Coq sin dejar una redirección) |
|
(Sin diferencias)
| |
Revisión del 12:40 3 ago 2018
Demostración Asistida por Ordenador con Coq