-
Notifications
You must be signed in to change notification settings - Fork 376
Pull requests: HoTT/book
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add exercise: all identity type families are equal
#1175
opened Jun 4, 2025 by
jeanas
Contributor
Loading…
fractional theorem numbers; see #601
Fix in 2nd edition
#613
opened Jan 16, 2014 by
mikeshulman
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-05-01.