%0 Conference Paper %1 journals/corr/abs-2303-05868 %A Miesenberger, Klaus %A Neuper, Walther %A Stöger, Bernhard %A Wenzel, Makarius %B ThEdu@FLoC %D 2022 %E Quaresma, Pedro %E Marcos, João %E Neuper, Walther %K dblp %P 92-111 %T Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs375.html#abs-2303-05868 %V 375

@inproceedings{journals/corr/abs-2303-05868, added-at = {2023-06-12T00:00:00.000+0200}, author = {Miesenberger, Klaus and Neuper, Walther and Stöger, Bernhard and Wenzel, Makarius}, biburl = {https://www.bibsonomy.org/bibtex/24779d4e1553a38e77bb63c4a1cca7282/dblp}, booktitle = {ThEdu@FLoC}, crossref = {journals/corr/abs-2303-05360}, editor = {Quaresma, Pedro and Marcos, João and Neuper, Walther}, ee = {https://doi.org/10.48550/arXiv.2303.05868}, interhash = {01164851cf7618a7270404d64a3d5f55}, intrahash = {4779d4e1553a38e77bb63c4a1cca7282}, keywords = {dblp}, pages = {92-111}, series = {EPTCS}, timestamp = {2024-04-09T09:30:27.000+0200}, title = {Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs375.html#abs-2303-05868}, volume = 375, year = 2022 }