Archive of Formal Proofs 2011
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 4.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Archive of Formal Proofs
El Archivo de Pruebas Formales es una colección de bibliotecas de pruebas, ejemplos y desarrollos de scientifc más grandes, mecánicamente comprobados en el probador del teorema Isabelle. Se organiza en el camino de una revista científica. Las presentaciones son referentes.