GitHub repository: BeiZero/book-ru
Primary language: TeX
Description: A textbook on informal homotopy type theory