Багато реалізацій математичної верифікації мають одні з найбільш проклятих речей, які ви коли-небудь бачили