Natural Proving with Naproche An interactive course on writing proofs in natural mathematical language, with computer-checking of logical correctness by Peter Koepke, with contributions from the Naproche Community