Isabelle/PIDE as Platform for Educational Tools

Makarius Wenzel Burkhart Wolff

Published in: ThEdu (2011)

Keyphrases

educational tools
educational games
e learning
serious games
real time
theorem prover
real world
communication protocol
neural network
information systems