TLA+

1 статья

7 мин
🧠 Лесли Лампорт: «Алгоритм без доказательства — это лишь догадка»
Quanta Magazine · 17.05.22