search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Disable navigation buttons #1057

Closed fredrik-bakke closed 8 months ago

fredrik-bakke commented 8 months ago

Resolves #825.

Co-authored-by: VojtechStep vojtechstepancik@outlook.com