Programas por afp.sf.net

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 revist