impermeable

Pinned Loading

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…

Rocq Prover 49 16
Examples of Waterproof exercise sheets used for teaching Analysis 1 at the TU/e.

1 4
Editor used in the Waterproof project.

TypeScript 3 1

Showing 10 of 25 repositories

impermeable/waterproof-vscode’s past year of commit activity

TypeScript
7
LGPL-2.1
6 30 4
Updated Mar 28, 2026
impermeable/waterproof-editor’s past year of commit activity

TypeScript
3
MIT
1 20 5
Updated Mar 28, 2026
impermeable/waterproof-genre’s past year of commit activity

Lean 0 MIT
1 1 0
Updated Mar 24, 2026
impermeable/codemirror-lang-waterproof’s past year of commit activity

TypeScript 0 MIT 0
0 0
Updated Mar 23, 2026
waterproof Public
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

impermeable/waterproof’s past year of commit activity

JavaScript
44
LGPL-2.1
6 4 29
Updated Mar 23, 2026
impermeable/codemirror-lang-verbose’s past year of commit activity

TypeScript 0 MIT
1 0 0
Updated Mar 16, 2026
impermeable/verbose-lean4’s past year of commit activity

Lean 0 Apache-2.0
20 0 0
Updated Mar 16, 2026
coq-waterproof Public
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

impermeable/coq-waterproof’s past year of commit activity
impermeable/codemirror-lang-rocq’s past year of commit activity

TypeScript 0 MIT 0
0 0
Updated Mar 3, 2026
impermeable/waterproof-river’s past year of commit activity

TypeScript 0 MIT 0
0 0
Updated Feb 23, 2026