Download von readme.txt (readme.txt ( externer Link: SourceForge.net): 1,854 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf readme.txt ( externer Link: SourceForge.net).
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.