Liveness Proofs in Veil, Part I: The First Step(proofsandintuitions.net)2 points by matt_d 6 days ago | 0 commentsNo comments yet