Vol-2306⫷ Vol-2307 ⫸Vol-2308
urn:nbn:de:0074-2307-0


Vol-2307/paper12⫷Vol-2307/papee13⫸Vol-2307/paper14
Steffen FrerixPeter Koepke

Automatic Proof-Checking of Ordinary Mathematical Texts