Programas por www.qedeq.org

En la tradición del programa de Hilbert creamos una base de conocimiento matemático formal correcta (comprobable por un verificador de prueba) pero legible (como un libro de texto laTeX ordinario) que es de libre acceso dentr