search box at top of the page?

WomeninLogic / RecordedTalks

a place to keep info about Women in Logic https://www.womeninlogic.org/

4 stars 6 forks source link

Open vcvpaiva opened 6 months ago

vcvpaiva commented 6 months ago

It would be good to have a search box to check whether a given person is already represented in the set or not.