book Files

A textbook on informal homotopy type theory

This is an exact mirror of the book project, hosted at https://github.com/HoTT/book. SourceForge is not affiliated with book.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
Homotopy Type Theory - Univalent Foundations of Mathematics, First Edition source code.tar.gz	2023-05-24	70.9 MB	0
Homotopy Type Theory - Univalent Foundations of Mathematics, First Edition source code.zip	2023-05-24	70.8 MB	0
Totals: 2 Items		141.7 MB	0

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

Key-book
Proofs, cases, concept supplements, and reference explanations
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
Napkin
An Infinitely Large Napkin
Catlab.jl
A framework for applied category theory in the Julia language
Chaoskop2
Calculation and Presentation of Fractal Graphics, Chaos Theory

book Files

A textbook on informal homotopy type theory

Get an email when there's a new version of book