Программы afp.sf.net

Архив формальных доказательств представляет собой набор библиотек доказательств, примеров и более крупных научных разработок, механически проверенных в теореме докажи изабель. Она организована на пути научного журнала. Матери