Skip to content

fix link to univalent parametricity in README.md#38

Closed
chenson2018 wants to merge 1 commit intocoq-community:masterfrom chenson2018:doc-duplicate-link
+1-1

Commits

Commits on Aug 1, 2024