P.S. One way you might describe this project is "an axiomatic Euclid's Elements for all scholarly knowledge".

You might also like metacademy.org (one of my favourite projects -- it's a package manager for knowledge built on DAGs)