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 muestra una edición intermedia del mismo usuario) | |
(Sin diferencias)
| |
Revisión actual del 12:42 3 ago 2018
Demostración Asistida por Ordenador con Coq