Vol-447⫷ Vol-448 ⫸Vol-449
urn:nbn:de:0074-448-0


Vol-448/paper-8⫷Vol-448/paper-9⫸Vol-448/paper-10
Jip VeldmanMarcos CramerDaniel KühlweinBernhard SchröderPeter Koepke

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts