Waterproof¶
Product or Programme · All products and programmes
Evidence · no claims cited
Description¶
Waterproof is an educational AI tool developed by Portegies et al. that supports higher-education mathematics and engineering students in writing mathematical proofs through rule-based examples and interactive generative-AI dialogue.
Components¶
Claims¶
Related Products and Programmes¶
Key Sources¶
- Kudina, O. (2025). Using AI in engineering education: a balancing act, driven by clear purpose. Draft version, to appear in The Routledge Handbook of the Philosophy of Engineering, 2nd ed. doi:10.48550/arxiv.2606.16626
Page metadata
| Field | Value |
|---|---|
type |
product |
id |
waterproof |
title |
Waterproof |
description |
Waterproof is an educational AI tool developed by Portegies et al. |
status |
review |
product_kind |
software |
generated |
by process:settle-candidates on 2026-10-10 |
trust |
unverified — no one has confirmed this page's content |
Frontmatter is the page's machine-readable record — see the Schema & Guide.