Comment by ProofHouse Comment by ProofHouse 3 hours ago 0 replies Copy Link View on Hacker News is there a working 'demo' I don't see one?