Diferencia entre revisiones de «Mainpage»
De DAO con Coq
(Página creada con «DAO (demostración asistida por ordenador) con Coq.») |
m (Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir) |
||
| (No se muestran 3 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