Hilbert II 0.04.06
Hilbert II-prosjektet er desentralisert tilgang til verifisert og lesbar matematisk kunnskap. Som det navnet allerede antyder, er dette prosjektet i tradisjonen av Hilbert 's program. Hilbert II ønsker å bli fri, world wide matematisk kunnskapsbase...