Hilbert II 0.04.06
Του έργου Hilbert II είναι αποκεντρωμένη πρόσβαση σε επαληθεύεται και αναγνώσιμη μαθηματικής γνώσης. Όπως το όνομά του έχει ήδη προτείνει, το έργο αυτό είναι στην παράδοση του προγράμματος του Hilbert. Hilbert ΙΙ θέλει να γίνει μια ελεύθερη, σε όλο τον...