LibTomMath

ИИ научился математически доказывать, что код рабочий. Осталось убедить в этом компьютер

У программистов появился новый союзник, а у микросхем теперь гораздо меньше оправданий.