CNL - The naproche project controlled natural language proof checking of mathematical texts
sunsite.informatik.rwth-aachen.de korpora-exp.zim.uni-duisburg-essen.de ceur-ws.org www.math.uni-bonn.de naproche.net