chris martens on Nostr: who's out there using proof assistants in conjunction with disability assistive tools ...
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)
Published at
2026-06-19 16:05:15 UTCEvent JSON
{
"id": "6c6f1dc30baa4b338ac05a85fac7e43e517e564e5c04c85ad5b3b5058d2e8cbd",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1781885115,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/116777622897377676",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "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)",
"sig": "3c4f5ca746a7f576551d3b82c1e3aea71d9ff4a7a615f3275938c6f66b744da576c63ed7a89ba2898bfdbf0f702b7f8ad6e0d391f9afdb526f1d68ab632083f5"
}
