Pinned Loading

1. coq-waterproof 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…

   Rocq Prover 51 19

2. waterproof-vscode waterproof-vscode Public

   TypeScript 11 6

3. waterproof-exercise-sheets waterproof-exercise-sheets Public

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

   3 4

4. waterproof-editor waterproof-editor Public

   Editor used in the Waterproof project.

   TypeScript 4 1

5. introduction-to-proof-sheets introduction-to-proof-sheets Public

   1 1

6. aquarium aquarium Public

   Standalone version of Waterproof that runs fully within the webbrowser

   TypeScript 1