[isabelle] make Isabelle accessible?
Dear educators in the Isabelle community,
Despite substantial progress over recent years, access to higher
mathematics is still a non-trivial challenge for blind individuals.
For understandable reasons, Isabelle and similar software is not
accessible. However, accessibility seems in reach, because
Isabelle/jEdit could use theJava Access Bridge  and Isabelle/VSCode
could benefit from respective accessibility features . And there are
plans for further development [3,4], which could be in line with
Is there somebody in the community, who would be interested to
collaborate with IIS  in investigating possibilities to make Isabelle
 Makarius Wenzel, Interaction with Formal Mathematical Documents in
Isabelle/PIDE, 2019. §3.Aims and Approaches of Isabelle/PIDE.
 Makarius Wenzel, Further Scaling of Isabelle Technology, 2018.
§3.3.Browsing: client-server applications.
This archive was generated by a fusion of
Pipermail (Mailman edition) and