| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Updated to match UniMath names | tslil | 5 years | |
| Age | Commit message | Author | ||
| 2021-09-30 | Updated to match UniMath namesHEADmain | tslil | ||
| 2021-09-30 | Added description | tslil | ||
| 2019-07-17 | Markdown formatting | tslil clingman | ||
| 2019-07-17 | Fixed link | tslil clingman | ||
| 2019-07-17 | Init | tslil clingman | ||
| Clone | ||||
| https://git.l-3.space/y_and_j | ||||
 |
index : y_and_j | |
| A formalisation of the logical equivalence of the Yoneda lemma and dependent path induciton | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |