Waterproof for Bewijzen in de Wiskunde
Publication date
Authors
DOI
Document Type
Master Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
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.
Keywords
Waterproof, Bewijzen in de wiskunde, Rocq, Type theory