search

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
https://1lab.dev
GNU Affero General Public License v3.0
348 stars 68 forks source link

Enable search on mobile #426

Open hmltn-0 opened 2 months ago

hmltn-0 commented 2 months ago

I can’t search on mobile because I don’t have a Ctrl or cmd key.