-
Notifications
You must be signed in to change notification settings - Fork 358
Insights: HoTT/book
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 1 New issue
There hasn’t been any commit activity on HoTT/book in the last week.
Want to help out?
1 Issue opened by 1 person
-
Incorrect diagram for Example 8.7.16
#1163 opened
Sep 2, 2024