Hilbert II 0.04.06
Hilbert II project is decentralised access to verified and readable mathematical knowledge. As it's name already suggests, this project is in the tradition of Hilbert's program.Hilbert II wants to become a free, world wide mathematical knowledge base that...