Towards computer-assisted proof tutoring (original) (raw)

Abstract We present a recent application area of the proof assistant Ωmega, the teaching of mathematical proofs within an environment for tutorial dialog. We discuss the design of our dialog system prototype for proof tutoring in the light of the requirements imposed by its potential users. Empirical studies investigating those requirements guide the development of the system.

Sign up for access to the world's latest research.

checkGet notified about relevant papers

checkSave papers to use in your research

checkJoin the discussion with peers

checkTrack your impact