3 ms·Byzantine Generals Problem?by nannal 8y agoByzantine Generals Problem?spamizbad 8y agoIs there a formal proof of that yet? (Not being sarcastic, genuinely curious)