collaboration, Markdown, mathematical proof, Metamath, Polymath, proof graph, sophize, sophize markdown, sophize platform, structured data.