search

UniMath / Schools

77 stars 21 forks source link

shortens the paths #50

Closed rmatthes closed 2 years ago

rmatthes commented 2 years ago

now the links work again