| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 131 | logplain |
| -rw-r--r-- | y_and_j.v | 8517 | logplain |
 |
index : y_and_j | |
| A formalisation of the logical equivalence of the Yoneda lemma and dependent path induciton | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |