Mastodon Feed
Boosted by dysfun@treehouse.systems ("gaytabase"):
chrisamaphone@hci.social ("chris martens") wrote:
who's out there using proof assistants in conjunction with disability assistive tools (screen readers, voice control, custom input devices, etc)? i want to know what your setup and experience is like. (boosts welcome; right now this is just a curiosity and not a research project)