2021

2020

2018

2014

  • Marcos Cramer (2014): The Naproche system: Proof-checking mathematical texts in controlled natural language [Preprint]. In: Sprache und Datenverarbeitung (SDV) 38.1-2/2014, 9–33.

2013

2012

2011

2010

2009

2008

2007

  • Peter Koepke (2007): The Language of Proofs, talk given March 22, 2007 at a joint session of the Trimestre on Applications of Proof Theory in Mathematics and the Seminar on Formal Mathematics (pdf-slides).
  • Peter Koepke (2007): A sample Naproche Session, Some applications of the current Naproche version with explanations.

2005

2003