3 ms·Ask HN: What are your favorite proofs in computer science?4 points by Austin_Conlon 7y agolayla565 7y agoSee actual theory be implemented in solution solving problems.