Skip to content

Homotopy Type Theory – Univalent Foundations of Mathematics, First Edition

Latest
Compare
Choose a tag to compare
@andrejbauer andrejbauer released this 24 May 22:06
· 15 commits to master since this release
4715f71
first-edition

First edition of the book