| dc.rights.license | CC-BY-NC-ND | |
| dc.contributor.advisor | North, P.R. | |
| dc.contributor.author | Tilburg, Alex van | |
| dc.date.accessioned | 2025-08-21T01:02:18Z | |
| dc.date.available | 2025-08-21T01:02:18Z | |
| dc.date.issued | 2025 | |
| dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/49918 | |
| dc.description.abstract | Waterproof is a proof assistant developped at Eindhoven University of Technology.
It is used to teach students at Analysis I, how to proof mathematical statements.
Waterproof will be implemented at the Bachelors course "Bewijzen in de wiskunde" at UU.
This thesis explains Type Theory, Rocq and Waterproof needed to understand the material produced for this course. | |
| dc.description.sponsorship | Utrecht University | |
| dc.language.iso | EN | |
| dc.subject | Waterproof for Bewijzen in de Wiskunde | |
| dc.title | Waterproof for Bewijzen in de Wiskunde | |
| dc.type.content | Master Thesis | |
| dc.rights.accessrights | Open Access | |
| dc.subject.keywords | Waterproof, Bewijzen in de wiskunde, Rocq, Type theory | |
| dc.subject.courseuu | Mathematical Sciences | |
| dc.thesis.id | 51936 | |
