ProofStack demos

Live demos of projects published on ProofStack. Open a demo from its project page.