Comment Comment by mattr03 How do you gain confidence that your theorem actually applies to your code? parent mattr03 9 days ago
