Hilbert II 0.04.06
پروژه هیلبرت II دسترسی غیر متمرکز به دانش ریاضی تایید شده و قابل خواندن است. آن را به عنوان نام در حال حاضر نشان می دهد، این پروژه در سنت برنامه هیلبرت است کنید. هیلبرت II می خواهد برای تبدیل شدن به، در سرتاسر جهان ریاضی دانش رایگان است که شامل قضایای ریاضی و اثبات در یک فرم درست رسمی. همه اسناد متعلق تحت مجوز...