![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Archive of Formal Proofs
Архив формальных доказательств представляет собой набор библиотек доказательств, примеров и более крупных научных разработок, механически проверенных в теореме докажи изабель. Она организована на пути научного журнала. Материалы будут судить.