-
Notifications
You must be signed in to change notification settings - Fork 373
Pull requests: HoTT/book
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
make the types of ~_\epsilon consistent, close #1176
#1179
opened Jun 23, 2025 by
mikeshulman
Loading…
fractional theorem numbers; see #601
Fix in 2nd edition
#613
opened Jan 16, 2014 by
mikeshulman
Loading…
ProTip!
What’s not been updated in a month: updated:<2025-08-16.