I'd suggest to integrate more semantics in this system, like e.g. Knowledge Graph in Google or SemanticMediaWiki. This can help for automated processing years l

I'd suggest to integrate more semantics in this system, like e.g. Knowledge Graph in Google or SemanticMediaWiki. This can help for automated processing years later. Also, adding more interactivity with ipython/webppl notebooks embedded directly in the article and/or comments would be a huge step up for the community. Or even integration with systems like Coq, Agda, Why/Alt-Ergo.