-
Notifications
You must be signed in to change notification settings - Fork 360
Pull requests: HoTT/book
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump peaceiris/actions-gh-pages from 3 to 4
dependencies
#1159
opened Jun 17, 2024 by
dependabot
bot
Loading…
fractional theorem numbers; see #601
Fix in 2nd edition
#613
opened Jan 16, 2014 by
mikeshulman
Loading…
ProTip!
Follow long discussions with comments:>50.