This is a Russian translation of the Software Foundations book.
It does not and will not contain any solutions to the exercises
Original source code corresponds to the Version 5.4 (27 Jan 2018, Coq 8.6) publicly available at https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz.
For convenience, license matches the original Software Foundations license. See LICENSE.
Это - перевод на русский язык электронной книги Software Foundations (вольностью автора перевода называемой далее Основы программного обеспечения).
Репозиторий не содержит и не будет содержать решения к упражнениям. Пожалуйста, не публикуйте решения. Для разъяснений см. lf/Preface.v.
Первая часть книги - Logical foundations - находится в директории lf.
Автор перевода не является профессиональным переводчиком, и занимается этим проектом в свободное время. Первоочередной задачей является перевести текст в .v файлах, включая добавление комментариев к "очевидным" для англоговорящей аудитории идентификаторам и тактикам. Компиляция html файлов, адаптация скриптов проверки - второстепенные задачи, что означает, что скорее всего они никогда сделаны не будут :)
Поскольку текст очень технический, а автор знаком с математическим сленгом весьма посредственно, некоторые термины могут быть переведены некорректно или неестественно. Если вы заметите такие неточности, просьба сообщать о них автору.
Если вы решили сделать вклад в перевод, пожалуйста, свяжитесь c автором перевода, чтобы не делать одну работу дважды.
Исправления грамматики, орфографии и стилистики всегда приветствуются в виде pull requests.
For convenience, license matches the original Software Foundations license. See LICENSE.
Для удобства, лицензия репозитория соответствует оригинальной лицензии Software Foundations. См. LICENSE.