-
Notifications
You must be signed in to change notification settings - Fork 16
Pull requests: rzk-lang/sHoTT
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Annotate identity types at their intended underlying types
#172
opened Jul 4, 2026 by
fizruk
Member
Loading…
Declare uses for assumptions hidden by current rzk
#171
opened Jun 24, 2026 by
fizruk
Member
Loading…
[RS17] Proposition 5.16
RS17
Related to Riehl and Shulman's 2017 paper «Type theory for synthetic ∞-categories»
#168
opened Apr 14, 2026 by
fizruk
Member
Loading…
Tope disjunction elimination along propositional equality
#165
opened Mar 13, 2026 by
fizruk
Member
Loading…
Proposition 4.12 (extension types preserve n-type)
RS17
Related to Riehl and Shulman's 2017 paper «Type theory for synthetic ∞-categories»
#162
opened Mar 13, 2026 by
fizruk
Member
Loading…
2 of 4 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.