Diferencia entre revisiones de «Página principal»

Revisión del 16:09 27 jul 2018

Demostración Asistida por Ordenador con Coq

Revisión del 16:08 27 jul 2018 (ver código) Jalonso (discusión \| contribuciones) (Página reemplazada por «Demostación Asistida por Ordenador con Coq») (Etiqueta: Reemplazo) ← Edición anterior		Revisión del 16:09 27 jul 2018 (ver código) Jalonso (discusión \| contribuciones) Edición siguiente →
Línea 1:		Línea 1:
−	~~Demostación~~ Asistida por Ordenador con Coq	+	Demostración Asistida por Ordenador con Coq