search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

Update README.md #148

Closed nimarasekh closed 1 month ago

nimarasekh commented 1 month ago

Readme link to install page is apparently outdated

fizruk commented 1 month ago

Thanks!