Hilbert II 0.04.06
Projet Hilbert II est un accès décentralisé à la connaissance mathématique vérifié et lisible. Comme son nom l'indique déjà, ce projet est dans la tradition du programme de Hilbert. Hilbert II veut devenir, dans le monde entier base de connaissances...