Hilbert II 0.04.06
Proyek Hilbert II adalah akses desentralisasi untuk diverifikasi dan dibaca pengetahuan matematika. Sebagai nama sudah menyarankan, proyek ini dalam tradisi program Hilbert. Hilbert II ingin menjadi bebas, di seluruh dunia basis pengetahuan matematika...