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

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

NZMATH
Python Calculator on Number Theory, three-birds-one learning material
Tea Time Numerical Analysis
A Numerical Analysis textbook
Colas
Analysis based on queuing theory
Key-book
Proofs, cases, concept supplements, and reference explanations
pyRelativity
To derive, explain, calculate Theory of Relativity in Python 2.x