Доказательство Великой теоремы Ферма перевели на язык Lean.
Подпишитесь на получение последних материалов по безопасности от SecurityLab.ru — новости, статьи, обзоры уязвимостей и мнения аналитиков.