1. Merlin Carl: Diproche – Entwurf, Umsetzung und Erprobung eines automatischen Systems zur Unterstützung des Beweisenlernens bei StudienanfängerInnen.
  2. Merlin Carl (2020): Number Theory and Axiomatic Geometry in the Diproche System. Electronic Proceedings in Theoretical Computer Science 328, pp. 56–78, doi:10.4204/eptcs.328.4.
  3. Gary Chartrand (2018): Mathematical proofs : a transition to advanced mathematics. Pearson, New York, NY.
  4. Marcos Cramer: Proof-checking mathematical texts in controlled natural language.
  5. Juan Pablo Mejía-Ramos, Kristen Lew, Jimmy de la Torre & Keith Weber (2017): Developing and validating proof comprehension tests in undergraduate mathematics. Research in Mathematics Education 19(2), pp. 130–146, doi:10.1080/14794802.2017.1325776.
  6. K. Monks N. Carter: Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing.
  7. K. Monks N. Carter: A Word Processor that Can GradeStudent's Proofs. In: Workshops and Work in Progress at CICM.
  8. Merlin Carl und Regula Krapf: Das Diproche-System – ein automatisierter Tutor für den Einstieg ins Beweisen.
  9. B. Schröder: Die kleinen Welten mathematischer Beweise.

Comments and questions to:
For website issues: