3 ms·
one thing where proofs are invaluable is the security of distributed systems where you need to exhaustively consider many uncoordinated actors.
by afiori 6y ago
one thing where proofs are invaluable is the security of distributed systems where you need to exhaustively consider many uncoordinated actors.