Programmes par www.qedeq.org

Dans la tradition du programme de Hilbert, nous créons une base de connaissances mathématiques formelle correcte (vérifiable par un vérificateur de preuve) mais lisible (comme un manuel laTeX ordinaire) qui est librement acce