Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University,

First Page		Document Content
Date: 2008-12-29 05:40:51		Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University, Add to Reading List Source URL: www.marvin-schiller.de Download Document from Source Website File Size: 104,65 KB Share Document on Facebook