Hilbert II 0.04.06

希爾伯特II項目是分散的訪問驗證和可讀性的數學知識。因為它的名字已經表明，這個項目是在希爾伯特計劃的傳統。 希爾伯特II要成為一個自由，世界各地的數學知識，包含數學定理和證明在正式的正確形式基地。屬於所有文件都在GNU自由文檔許可證出版。 我們的目標是共同的數學論證適應正式語法。這意味著，只要在數學某種論證經常使用，我們將期待它融入希爾伯特II的正式語言。這種形式語言被稱為qedeq格式。...