search

simhu / cubical

Implementation of Univalence in Cubical Sets
MIT License
145 stars 10 forks source link

Update README.md #8

Closed evelynmitchell closed 10 years ago

evelynmitchell commented 10 years ago

Added link to Bernardy Moulin