| Date of Award | 3 Jul 2020 |
|---|---|
| Original language | English |
| Supervisor | Jim W. Portegies (Supervisor 1) |
Cite this
- Standard
Measure Theory in Waterproof: Interactive theorem-proving for measure theory in an educational setting
Student thesis: Bachelor