Как я постепенно пришёл к мысли о том, что нам необходимо создать средство проверки доказательств теорем и вывести формальную проверку в мейнстрим.
Читать далееИсточник: Хабрахабр
Источник: Reeemi
Другие материалы на сайте b.Z - Записки о гаджетах, людях и музыке