Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover
Sprache des Titels:
Computers Helping People with Special Needs
A novel approach to design an inclusive and accessible math-ematical learning environment is presented: The technology of theorem proving shall be employed to support a student in solving mathematical problems by giving hints to him/her based on formal proofs of each step in a calculation. The system shall be made accessible by making use of the built-in accessibility coming with VSCode, a standard editor used as front-end for the theorem prover Isabelle.