Closed tkw1536 closed 3 years ago
Original issue https://github.com/UniFormal/MMT/issues/401 by @florian-rabe We need a search interface backed by MathWebSearch.
The backend already exists in MMT (build target for harvest generation, abstraction around mws service). This has already worked in MMT's own browser.
Missing are
frontend (search bar, result display etc.) actually running MathWebSearch
Closing in favor of #74
tkw1536
commented
3 years ago tkw1536
commented
3 years ago
Original issue https://github.com/UniFormal/MMT/issues/401 by @florian-rabe We need a search interface backed by MathWebSearch.
The backend already exists in MMT (build target for harvest generation, abstraction around mws service). This has already worked in MMT's own browser.
Missing are