[Из песочницы] Команда математиков за полгода написала 600-страничную книгу, используя GitHub @habrahabr

Перевод статьи Андрея Бауера — The HoTT book



Книга по HoTT закончена!



Начиная с весны, и даже раньше, я участвовал в командном проекте по написанию книги по гомотопической теории типов (Homotopy Type Theory). Она наконец написана и готова к употреблению. Вы можете скачать книгу бесплатно: homotopytypetheory.org/book/. Майк Шульман рассказал о содержании книги, так что я не буду повторять то же самое. Вместо этого я бы хотел прокомментировать некоторые социо-технологические аспекты создания книги и, в частности, рассказать о том, чему нас научило сообщество Open source.

Читать дальше →



via Хабрахабр / Захабренные / Тематические / Посты http://habrahabr.ru/post/184716/