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


Vol-448/paper-8⫷Vol-448/paper-9⫸Vol-448/paper-10

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