Programma's van www.qedeq.org

In de traditie van Hilbert's programma creëren we een formele correcte (controleerbaar door een bewijsverificateur), maar leesbaar (zoals een gewone LaTeX leerboek) wiskundige kennis basis die vrij toegankelijk is binnen het