Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.

Klaus Miesenberger Walther Neuper Bernhard Stöger Makarius Wenzel

Published in: CoRR (2023)

Keyphrases

working environment
theorem prover
computer algebra
computer science
mathematical knowledge
easily accessible
natural deduction
cooperative
theorem proving
grade students
control center
multimedia courseware
computer algebra systems