H
No analysis available
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.
0
lines of code
0
current contributors
0
since last commit
0
users on Open Hub