Programmi di www.qedeq.org

Nella tradizione del programma di Hilbert creiamo una base di conoscenze matematiche formale corretta (controllabile da un verificatore di bozza) ma leggibile (come un normale libro di testo LaTeX) che è liberamente accessibi