| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 15 Nov 2025 07:50:09 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"691830b1-167f"
expires: Mon, 29 Dec 2025 16:10:26 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 2BBF:3A7A40:904593:A1E70F:6952A599
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 16:00:26 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210087-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767024026.132303,VS0,VE218
vary: Accept-Encoding
x-fastly-request-id: d5d4b0fd0717a8bf30776a19d196f34da4b4e67a
content-length: 1999
Waterproof
Waterproof
An educational tool for proving mathematical statements!
Learn to prove mathematical statements. Immediate feedback.
Waterproof is educational software designed to help students with learning the skill of proving mathematical statements.
Try it out!
Complete some exercises online:
VSCode extension
Waterproof can be used in VSCode.
Installation
Install the waterproof extension from the VSCode marketplace or from within VSCode.