The FrameIt project for serious games in mathmematics based on OMDoc theory graphs
Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
The main development repository
Related Work for FrameIT