во время выездного мероприятия Spire у нас было как минимум 10 отдельных случаев, когда кто-то говорил: "а что если мы просто завернем это в доказательство и проверим это" — и это совершенно новый способ мышления. быстрая генерация доказательств — это невероятная вещь.