-
Notifications
You must be signed in to change notification settings - Fork 11
Insights: rzk-lang/sHoTT
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 3 New issues
There hasn’t been any commit activity on rzk-lang/sHoTT in the last week.
Want to help out?
3 Issues opened by 1 person
-
the Yoneda lemma implies the dependent Yoneda lemma
#152 opened
May 27, 2025 -
dependent Yoneda lemma implies the Yoneda lemma
#151 opened
May 27, 2025 -
Prove associativity of composition using the dependent Yoneda lemma
#150 opened
May 27, 2025