Alfa gratis de hace seis meses cansado: especificaciones de markdown y generación de pruebas Wired: Métodos formales