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 fav

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)