Revisión del 12:40 3 ago 2018 (ver código) Jalonso (discusión \| contribuciones) m (Jalonso trasladó la página MediaWiki:Mainpage a MediaWiki:Demostración Asistida por Ordenador con Coq sin dejar una redirección) ← Edición anterior	Revisión actual del 12:42 3 ago 2018 (ver código) Jalonso (discusión \| contribuciones) m (Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir)
(Sin diferencias)

Diferencia entre revisiones de «Mainpage»

Revisión actual del 12:42 3 ago 2018