- Download the exercises and unzip them in a new folder.
- Go to https://vscode.dev?enable-coi using Google Chrome or Chromium.
- Go to extensions (Ctrl+Shift+x), search for Waterproof and install it (choose to "trust" the extension).
- Go to files (Ctrl+Shift+e), click "Open folder" and choose the folder from step 1 (choose to "trust" the folder).
- If the browser asks for permission to view or edit files in that location, allow this.
- Open the
lecture1/sheet1_conjunction.mvfile. - If everything installed correctly, you should see a "Goal" window on the right, which shows what is left to prove when you click in the text of proofs.
These exercise sheets are based on the book "An Infinite Descent into Pure Mathematics" by Clive Newstead. The exercise numbers refer to the version edited by the teaching team "Bewijzen in de Wiskunde" at Utrecht University, which is available here. They are offered to students in Utrecht University's introductory proof course "Bewijzen in de Wiskunde".
These exercises are available under Creative Commons Attribution-ShareAlike 4.0. See the LICENSE file for details.
If you want to contribute more exercises or want to have the solutions for use in teaching, reach out to Pim Otte (p.j.otte@uu.nl).
Waterproof is educational software designed to help students with learning the skill of proving mathematical statements. See here for more information.